Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsmonat/-jahr | 11.2017 |
Sprache | Englisch |
Identifikator | ISSN: 0360-0300, 1557-7341 KITopen-ID: 1000078458 |
Erschienen in | ACM computing surveys |
Verlag | Association for Computing Machinery (ACM) |
Band | 50 |
Heft | 4 |
Seiten | Art. Nr.: 52 |
Nachgewiesen in | Scopus Dimensions Web of Science |