![](/img/cover-not-exists.png)
[ACM Press the 48th Design Automation Conference - San Diego, California (2011.06.05-2011.06.10)] Proceedings of the 48th Design Automation Conference on - DAC '11 - Symbolic system synthesis in the presence of stringent real-time constraints
Reimann, Felix, Lukasiewycz, Martin, Glass, Michael, Haubelt, Christian, Teich, JürgenYear:
2011
Language:
english
DOI:
10.1145/2024724.2024817
File:
PDF, 661 KB
english, 2011