Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp
Application of design for verification with concurrency controllers to air traffic control software
ASE, 2005.
@inproceedings{ASE-2005-Betin-CanBLLT,
author = "Aysu Betin-Can and Tevfik Bultan and Mikael Lindvall and Benjamin Lux and Stefan Topp",
booktitle = "{Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering}",
doi = "10.1145/1101908.1101914",
pages = "14--23",
publisher = "{ACM}",
title = "{Application of design for verification with concurrency controllers to air traffic control software}",
year = 2005,
}