| 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.) |