Kai Neubauer, Christian Haubelt, Michael Glaß. Supporting composition in symbolic system synthesis. In Walid A. Najjar, Andreas Gerstlauer, editors, International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, SAMOS 2016, Agios Konstantinos, Samos Island, Greece, July 17-21, 2016. pages 132-139, IEEE, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.