Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas
Scenario-based analysis and synthesis of real-time systems using uppaal
DATE, 2010.
@inproceedings{DATE-2010-LarsenLNP,
author = "Kim Guldstrand Larsen and Shuhao Li and Brian Nielsen and Saulius Pusinskas",
booktitle = "{Proceedings of the 14th Conference on Design, Automation and Test in Europe}",
pages = "447--452",
publisher = "{IEEE}",
title = "{Scenario-based analysis and synthesis of real-time systems using uppaal}",
year = 2010,
}