Title

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. GI-ITG-GMM Workshop. Tagungsband
Institut
Gesellschaft für Informatik -GI-, Bonn
Informationstechnische Gesellschaft -ITG-
VDE/VDI-Gesellschaft Mikroelektronik, Mikro- und Feinwerktechnik -GMM-
Verlag
Verlagsort
Aachen
Datum
1999
ISBN
3-8265-4684-9
Konferenz