Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Rechnerentwurf und Fehlertoleranz (IRF) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 1997 |
Sprache | Englisch |
Identifikator | ISBN: 3-85320-826-6 urn:nbn:de:swb:90-AAA1265970 KITopen-ID: 126597 |
Erschienen in | Gemeinsamer Tagungsband : 5. GI-ITG-GMM-Workshop Methoden des Entwurfs und der Verifikation Digitaler Systeme und Austrochip '97. Hrsg.: R. Hagelauer |
Verlag | Trauner |
Seiten | 139 - 148 |