Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2005 |
Sprache | Deutsch |
Identifikator | ISBN: 3-88579-397-0 ISSN: 1617-5468 KITopen-ID: 1000018115 |
Erschienen in | Informatik 2005 - Informatik live! Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 19. bis 22. September 2005 in Bonn. Hrsg.: A. B. Cremers |
Verlag | Gesellschaft für Informatik (GI) |
Seiten | 698 - 712 |
Serie | GI-Edition / Proceedings ; 68 |