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 |