| 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 |