Alexander Biewer, Benjamin Andres, Jens Gladigau, Torsten Schaub, Christian Haubelt
A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving
DATE, 2015.
@inproceedings{DATE-2015-BiewerAGSH,
acmid = "2755834",
author = "Alexander Biewer and Benjamin Andres and Jens Gladigau and Torsten Schaub and Christian Haubelt",
booktitle = "{Proceedings of the 19th Conference and Exhibition on Design, Automation and Test in Europe}",
isbn = "978-3-9815370-4-8",
pages = "357--362",
publisher = "{ACM}",
title = "{A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving}",
year = 2015,
}