Cited By
View all- Betin Can ABultan TLindvall MLux BTopp S(2007)Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllersAutomated Software Engineering10.1007/s10515-007-0008-214:2(129-178)Online publication date: 1-Jun-2007