Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Rechnerentwurf und Fehlertoleranz (IRF) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 1998 |
Sprache | Englisch |
Identifikator | ISBN: 3-931466-35-3 urn:nbn:de:swb:90-AAA450989 KITopen-ID: 45098 |
Erschienen in | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. GI/ITG/GMM Workshop, Heinz Nixdorf Institut, Paderborn, 9. - 11. März 1998 |
Verlag | HNI |
Seiten | 38-49 |
Serie | HNI-Verlagsschriftenreihe ; 36 |