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 | Scopus Web of Science |