Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsjahr | 2012 |
Sprache | Deutsch |
Identifikator | ISSN: 0170-6012, 1432-122X KITopen-ID: 1000091321 |
Erschienen in | Informatik-Spektrum |
Verlag | Springer |
Band | 35 |
Heft | 1 |
Seiten | 3-11 |
Vorab online veröffentlicht am | 01.10.2010 |
Nachgewiesen in | Dimensions Scopus |