Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) Institut für Automation und angewandte Informatik (IAI) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsjahr | 2020 |
Sprache | Englisch |
Identifikator | ISSN: 1613-0073 KITopen-ID: 1000127042 |
Erschienen in | CEUR workshop proceedings |
Verlag | CEUR Workshop Proceedings |
Band | 2721 |
Seiten | 214-218 |
Nachgewiesen in | Scopus |