| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2008 |
| Sprache | Deutsch |
| Identifikator | ISBN: 978-388579227-7 KITopen-ID: 1000093087 |
| Erschienen in | 38th Jahrestagung der Gesellschaft fur Informatik e.V. (GI): Beherrschbare Systeme - Dank Informatik, INFORMATIK 2008; Munich; Germany; 8 September 2008 through 13 September 2008 |
| Verlag | Gesellschaft für Informatik (GI) |
| Seiten | 65-70 |
| Serie | 1 |
| Nachgewiesen in | Scopus |