Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Algorithmen und Kognitive Systeme (IAKS) Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsjahr | 2002 |
Sprache | Deutsch |
Identifikator | ISSN: 0169-2968 KITopen-ID: 32332002 |
Erschienen in | Fundamenta informaticae |
Verlag | IOS Press |
Band | 52 |
Heft | 1/3 |
Seiten | 183-201 |