Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Buch |
Publikationsjahr | 2000 |
Sprache | Englisch |
Identifikator | KITopen-ID: 31902000 |
Erscheinungsvermerk | Karlsruhe 2000. (Bericht. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe (TH). 397.) |