Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsmonat/-jahr | 06.2021 |
Sprache | Deutsch |
Identifikator | ISSN: 0170-6012, 1432-122X KITopen-ID: 1000135180 |
Erschienen in | Informatik-Spektrum |
Verlag | Springer |
Band | 44 |
Heft | 3, SH |
Seiten | 178–189 |
Vorab online veröffentlicht am | 12.05.2021 |
Nachgewiesen in | Dimensions Scopus |