%0
Generic
%T
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
9. ITG/GI/GMM Workshop, 20. - 22. Februar 2006, Dresden
%A Fraunhofer-Institut für Integrierte Schaltungen
%A Straube, Bernd
%I IIS
%K CD-ROM
%D 2006
%C IIS
%C Dresden
%U http://slubdd.de/katalog?TN_libero_mab2