Gremzow, Carsten
[Editor]
;
Informationstechnische Gesellschaft,
Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 12 2009 Berlin
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen