7. MBMV 2004: Kaiserslautern, Germany

Dominik Stoffel, Wolfgang Kunz (Eds.): Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, February 24-25, 2004. Shaker 2004 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML