Felix Reimann, Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich. Symbolic system synthesis in the presence of stringent real-time constraints. In Leon Stok, Nikil D. Dutt, Soha Hassoun, editors, Proceedings of the 48th Design Automation Conference, DAC 2011, San Diego, California, USA, June 5-10, 2011. pages 393-398, ACM, 2011. [doi]
@inproceedings{ReimannLGHT11,
title = {Symbolic system synthesis in the presence of stringent real-time constraints},
author = {Felix Reimann and Martin Lukasiewycz and Michael Glaß and Christian Haubelt and Jürgen Teich},
year = {2011},
doi = {10.1145/2024724.2024817},
url = {http://doi.acm.org/10.1145/2024724.2024817},
researchr = {https://researchr.org/publication/ReimannLGHT11},
cites = {0},
citedby = {0},
pages = {393-398},
booktitle = {Proceedings of the 48th Design Automation Conference, DAC 2011, San Diego, California, USA, June 5-10, 2011},
editor = {Leon Stok and Nikil D. Dutt and Soha Hassoun},
publisher = {ACM},
isbn = {978-1-4503-0636-2},
}