| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 2002 |
| Sprache | Deutsch |
| Identifikator | ISSN: 0944-2774 KITopen-ID: 34632002 |
| Erschienen in | Informationstechnik und technische Informatik |
| Verlag | De Gruyter |
| Band | 44 |
| Heft | 4 |
| Seiten | 211-216 |