Supporting Composition in Symbolic System Synthesis

Haubelt C, Neubauer K, Glaß M (2016)

Publication Type: Conference contribution

Publication year: 2016

Event location: Samos GR

Authors with CRIS profile

Christian Haubelt Technische Fakultät Michael Glaß Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)

Involved external institutions

Universität Rostock DE Germany (DE)

How to cite

APA:

Haubelt, C., Neubauer, K., & Glaß, M. (2016). Supporting Composition in Symbolic System Synthesis. In Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (IC-SAMOS). Samos, GR.

MLA:

Haubelt, Christian, Kai Neubauer, and Michael Glaß. "Supporting Composition in Symbolic System Synthesis." Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (IC-SAMOS), Samos 2016.

BibTeX: Download