Stuijk, Sander Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems [New York] : Association for Computing Machinery (ACM), 2016 (2016), Seite 145-152 1 online resource (211 pages)
Proceedings of the 2015 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools New York, NY : ACM, 2015 (2015), Article No. 3, insgesamt 6 Seiten 1 Online-Ressource
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Rostock : Univ., ITMZ, 2013 (2013), Seite 197-208 [10], 284 S.