Ruf, Jürgen
[HerausgeberIn]
;
Fachgruppe Methoden des Entwurfs und der Verifikation Digitaler Schaltungen und Systeme,
Fachgruppe Beschreibungssprachen und Modellierung von Schaltungen und Systemen,
Workshop Modellierung und Verifikation 2002 Tübingen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen