| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 2009 |
| Sprache | Deutsch |
| Identifikator | ISSN: 1863-2122 KITopen-ID: 1000015854 |
| Erschienen in | Electronic Communications of the EASST |
| Verlag | Technische Universität Berlin, Universitätsbibliothek |
| Band | 17 |
| Seiten | 1 - 14 |