Dieter Monjau, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Meißen, Germany, February 19-21, 2001. MoPress, 2001.
Conference: mbmv2001
No references recorded for this publication.
No citations of this publication recorded.