Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2015 |
Sprache | Deutsch |
Identifikator | ISBN: 978-3-88579-640-4 ISSN: 1617-5468 urn:nbn:de:swb:90-518381 KITopen-ID: 1000051838 |
Erschienen in | Informatik 2015. 45. Jahrestagung der Gesellschaft für Informatik, Cottbus, Germany, 28. September - 2. Oktober 2015. Hrsg.: D. Cunningham |
Verlag | Ges. für Informatik |
Seiten | 713-724 |
Serie | LectureNotes in Informatics (LNI) ; 246 |