| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 2002 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 31542002 |
| Erscheinungsvermerk | In: Informatik bewegt. Informatik 2002, 32. Jahrestagung der Gesellschaft für Informatik e.V., Dortmund 2002. Hrsg.: S. Schubert. Bonn 2002. S. 270-274. (GI-Edition. Proceedings. 19.) |