Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Buchaufsatz |
Publikationsjahr | 2001 |
Sprache | Deutsch |
Identifikator | KITopen-ID: 30472001 |
Erscheinungsvermerk | In: Ausgezeichnete Informatikdissertationen 2000. Hrsg.: D. Wagner. Bonn : Bonner Köllen 2001. S. 31-42. (Lecture notes in informatics. D-1.) |