| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 2005 |
| Sprache | Englisch |
| Identifikator | ISSN: 0169-2968, 1875-8681 KITopen-ID: 1000016170 |
| Erschienen in | Fundamenta informaticae |
| Verlag | IOS Press |
| Band | 68 |
| Heft | 4 |
| Seiten | 357 - 378 |
| Nachgewiesen in | Web of Science Scopus |