Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2017 |
Sprache | Englisch |
Identifikator | ISBN: 978-3-88579-669-5 ISSN: 1617-5468 KITopen-ID: 1000082192 |
Erschienen in | Informatik 2017 : Chemnitz, Deutschland, 25.-29. September 2017. Hrsg.: M. Eibl |
Verlag | Gesellschaft für Informatik (GI) |
Seiten | 2323-2328 |
Serie | GI-Edition. Proceedings ; 275 |
Bemerkung zur Veröffentlichung | Jahrestagung der Gesellschaft für Informatik ; 47 |