Zugehörige Institution(en) am KIT | Institut für Technische Informatik (ITEC) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2006 |
Sprache | Deutsch |
Identifikator | ISBN: 3-9810287-1-6 KITopen-ID: 1000095448 |
Erschienen in | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 9. ITG/GI/GMM Workshop, 20. - 22. Februar 2006 in Dresden |
Verlag | Fraunhofer-Institut für Integrierte Schaltungen |
Seiten | 359–368 |