Proceedings of the International Conference on Embedded Software (EMSOFT), 2013 Piscataway, NJ : IEEE, 2013 2013, 9:1-9:10, insges. 10 S. Online-Ressource
Macii, Enrico Proceedings of the Conference on Design, Automation and Test in Europe San Jose, CA : EDA Consortium, 2013 (2013), Seite 1167-1172 Online-Ressource (1 online resource (1944 pages))
Logical methods in computer science Braunschweig : Department of Theoretical Computer Science, Technical University of Braunschweig, 2004 Bd. 8.2012, 2, Paper 16, S. 1 - 32 Online-Ressource