| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2017 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 1000092971 |
| Erschienen in | INFORMATIK 2017 - Digitale Kuturen, 47. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 25.-29.9.2017, Chemnitz |
| Verlag | Gesellschaft für Informatik (GI) |
| Seiten | 433-438 |
| Serie | Lecture Notes in Informatics (LNI) ; P-275 |