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: 1000092625 |
Erschienen in | Informatik 2017 : Tagung vom 25.- 29. September 2017 in Chemnitz. Bd. I-III. Ed.: Maximilian Eibl |
Verlag | Gesellschaft für Informatik (GI) |
Seiten | 1775 |
Serie | GI-Edition Lecture notes in informatics. Proceedings ; P-275 |