Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2016 |
Sprache | Englisch |
Identifikator | ISBN: 978-388579653-4 ISSN: 1617-5468 urn:nbn:de:swb:90-819819 KITopen-ID: 1000081981 |
Erschienen in | 46. Jahrestagung der Gesellschaft fur Informatik - 46th Annual Meeting of the German Informatics Society, INFORMATIK 2016, Klagenfurt; Austria, 26th 2016 - 30th September 2016 |
Verlag | Gesellschaft für Informatik (GI) |
Seiten | 509–518 |
Serie | Lecture Notes in Informatics ; P-259 |
Nachgewiesen in | Scopus |