Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Rostock : Univ., ITMZ, 2013 (2013), Seite 197-208 [10], 284 S.
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))
von Kim Grüttner ; Philipp Andreas Hartmann ; Kai Hylla ; Sven Rosinger ; Wolfgang Nebel ; Fernando Herrera ; Eugenio Villar ; Carlo Brandolese ; William Fornaciari ; Gianluca Palermo