MBMV 2011 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

BIB
Frank Oppenheimer (Hrsg.)
02 / 2011
proceedings