Zugehörige Institution(en) am KIT | Institut für Technische Informatik (ITEC) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2003 |
Sprache | Englisch |
Identifikator | ISBN: 978-3-8322-1202-5 KITopen-ID: 1000095408 |
Erschienen in | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Bremen, 24.-25. Februar 2003. Hrsg.: R. Drechsler |
Verlag | Shaker Verlag |
Seiten | 112–120 |