Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
Publikationstyp | Buchaufsatz |
Publikationsjahr | 1993 |
Sprache | Deutsch |
Identifikator | KITopen-ID: 285793 |
Erscheinungsvermerk | In: Verlaessliche Informationssysteme. Hrsg.: G. Weck. Braunschweig 1993. (DuD-Fachbeitraege. 16.) und In: Software- und Information-Engineering 1993. Hrsg.: F. Arnold. Velbert 1993. S. 31-46. (Congress. Online '93. 6.) |