Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Buchaufsatz |
Publikationsjahr | 1992 |
Sprache | Englisch |
Identifikator | KITopen-ID: 208592 |
Erscheinungsvermerk | In: Computational systems analysis 1992. Ed.: A. Sydow. Amsterdam 1992. S. 611-616. |