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-701147 KITopen-ID: 1000070114 |
Erschienen in | 45. Jahrestagung der Gesellschaft fur Informatik: Informatik, Energie und Umwelt, INFORMATIK 2015 - 45th Annual Meeting of the German Informatics Society: Computer Science, Energy and Environment, INFORMATIK 2015; Cottbus; Germany; 28 September 2015 through 2 October 2015. Hrsg.: D. W. Cunningham |
Verlag | Gesellschaft für Informatik (GI) |
Seiten | 713-724 |
Serie | Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI) ; 246 |
Nachgewiesen in | Scopus |