Supporting composition in symbolic system synthesis

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 reviews for this publication, yet.