Zugehörige Institution(en) am KIT | Universität Karlsruhe (TH) – Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität) FZI Forschungszentrum Informatik (FZI) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsjahr | 1995 |
Sprache | Deutsch |
Identifikator | KITopen-ID: 315695 |
Erscheinungsvermerk | CADS & SMT 2 (1995) S. 32-33. |