Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsjahr | 2013 |
Sprache | Deutsch |
Identifikator | ISSN: 0170-6012, 1432-122X KITopen-ID: 1000091268 |
Erschienen in | Informatik-Spektrum |
Verlag | Springer |
Band | 36 |
Heft | 5 |
Seiten | 449-454 |
Vorab online veröffentlicht am | 24.07.2013 |
Nachgewiesen in | Dimensions Scopus |