| 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, 0948-6968 KITopen-ID: 1000092581 |
| Erschienen in | Journal of universal computer science |
| Verlag | Institut für Informationssysteme und Computer Medien (IICM) |
| Band | 9 |
| Heft | 7 |
| Seiten | 579-580 |