Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Proceedingsband |
Publikationsjahr | 1997 |
Sprache | Deutsch |
Identifikator | ISSN: 0863-095X KITopen-ID: 187097 |
Verlag | Humboldt-Univ. zu Berlin |
Umfang | 68 S. |
Serie | Informatik-Berichte / Humboldt-Universität zu Berlin ; 85 |