Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsjahr | 2014 |
Sprache | Englisch |
Identifikator | ISSN: 0740-7459, 1937-4194 KITopen-ID: 1000091305 |
Erschienen in | IEEE software |
Verlag | IEEE Computer Society |
Band | 31 |
Heft | 6 |
Seiten | 79-85 |
Vorab online veröffentlicht am | 04.11.2013 |
Nachgewiesen in | Scopus Dimensions Web of Science |