| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 2000 |
| Sprache | Englisch |
| Identifikator | ISSN: 0143-7062, 1350-2387, 1359-7027, 2053-7948 KITopen-ID: 1000091352 |
| Erschienen in | IEE proceedings / Computers and digital techniques |
| Verlag | American Physical Society (APS) |
| Band | 147 |
| Heft | 3 |
| Seiten | 181-188 |
| Nachgewiesen in | Scopus Web of Science Dimensions OpenAlex |