| Zugehörige Institution(en) am KIT | Institut für Mess- und Regelungstechnik mit Maschinenlaboratorium (MRT) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2012 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-8300-6201-1 KITopen-ID: 1000138215 |
| Erschienen in | Worksahop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV’12. Hrsg.: J. Brandt |
| Veranstaltung | 15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (2012), Hamburg, Deutschland, 31.12.2012 |
| Verlag | Verlag Dr. Kovač |
| Seiten | 145 – 156 |
| Serie | Schriftenreihe Forschungsergebnisse zur Informatik ; 68 |