| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2013 |
| Sprache | Deutsch |
| Identifikator | ISBN: 978-3-85403-292-2 urn:nbn:de:swb:90-818879 KITopen-ID: 1000081887 |
| Erschienen in | Abstraktion und Applikation : Tagungsband des 16. Internationalen Rechtsinformatiksymposiums IRIS 2013, Universität Salzburg, 21. bis 23. Februar 2013 = Abstraction and application / Hrsg.: Erich Schweighofer, Franz Kummer, Walter Hötzendorfer |
| Verlag | Oesterreichische Computer Gesellschaft |
| Seiten | 277-284 |
| Serie | Books_372ocg.at / Österreichische Computer Gesellschaft ; 292 |