Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsjahr | 2003 |
Sprache | Englisch |
Identifikator | ISSN: 0948-695X KITopen-ID: 1000016301 |
Erschienen in | J.UCS - Journal of Universal Computer Science |
Verlag | Institut für Informationssysteme und Computer Medien (IICM) |
Band | 9 |
Heft | 7 |
Seiten | 697 - 718 |