Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Buchaufsatz |
Publikationsjahr | 1992 |
Sprache | Englisch |
Identifikator | ISBN: 0-444-89780-1 KITopen-ID: 208792 |
Erschienen in | Computational systems analysis 1992. Ed.: A. Sydow |
Verlag | Elsevier |
Seiten | 417 - 422 |