Manfred Dietrich, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010. Fraunhofer Verlag, 2010.
Conference: mbmv2010
No references recorded for this publication.
No citations of this publication recorded.