author = { Fraunhofer-Institut für Integrierte Schaltungen Straube, Bernd },

title = { Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 9. ITG/GI/GMM Workshop, 20. - 22. Februar 2006, Dresden },

publisher = {IIS},

keywords = { CD-ROM },

year = {2006},

address = { Dresden },

url = { http://slubdd.de/katalog?TN_libero_mab2 }