| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2009 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-388579248-2 ISSN: 1617-5468 urn:nbn:de:swb:90-818321 KITopen-ID: 1000081832 |
| Erschienen in | 39th Jahrestagung der Gesellschaft fur Informatik e.V. (GI): Im Focus das Leben, INFORMATIK 2009 , Lübeck, 28. September - 2. Oktober 2009.Hrsg.: S. Fischer |
| Verlag | Gesellschaft für Informatik (GI) |
| Seiten | 1814-1826 |
| Serie | Lecture notes in informatics ; 154 |
| Externe Relationen | Siehe auch |
| Nachgewiesen in | Scopus |