Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsmonat/-jahr | 04.2018 |
Sprache | Englisch |
Identifikator | ISSN: 0164-1212 KITopen-ID: 1000083568 |
Erschienen in | The journal of systems and software |
Verlag | Elsevier |
Band | 138 |
Seiten | 174–188 |
Nachgewiesen in | Web of Science Dimensions Scopus |