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 |