GI/ITG/GMM Workshop
Subtitle: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : Braunschweig, 22.-24. Februar 1999
By: Matthias Mutz, Nikolaus Lange (Hrsg.).
Contributors: Mutz, Matthias; Lange, Nikolaus
Series: Informatik; Berichte aus der Informatik
Publisher: Shaker
Published: 1999
Place of publication: Aachen
Language: mul
Number of pages: 191
Subjects: System design; Congresses; Computer simulation
Other titles: GI/ITG/GMM Workshop "Modellierung und Verifikation von Schaltungen und Systemen"
Notes: Includes bibliographical references.