Title

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. GI-ITG-GMM Workshop

Corporate Author

Gesellschaft für Informatik -GI-, Bonn

Informationstechnische Gesellschaft -ITG-

VDE/VDI-Gesellschaft Mikroelektronik, Mikro- und Feinwerktechnik -GMM-

Publisher

Publishing Place

Paderborn

Publication Date

1998

Series

HNI-Verlagsschriftenreihe; 36

ISBN

3-931466-35-3

Conference