| 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 |