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. In Wolfgang Nebel, David Atienza, editors, Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015. pages 357-362, ACM, 2015. [doi]
@inproceedings{BiewerAGSH15,
title = {A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving},
author = {Alexander Biewer and Benjamin Andres and Jens Gladigau and Torsten Schaub and Christian Haubelt},
year = {2015},
url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=7092414},
researchr = {https://researchr.org/publication/BiewerAGSH15},
cites = {0},
citedby = {0},
pages = {357-362},
booktitle = {Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015},
editor = {Wolfgang Nebel and David Atienza},
publisher = {ACM},
isbn = {978-3-9815370-4-8},
}