KIT | KIT-Bibliothek | Impressum | Datenschutz

GI/ITG-Workshop Formale Methoden zum Entwurf korrekter Systeme, Bad Herrenalb 1993

Kropf, Thomas [Hrsg.]; Kumar, Ramayya [Hrsg.]; Schmid, Detlef [Hrsg.]


Zugehörige Institution(en) am KIT Fakultät für Informatik – Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Proceedingsband
Publikationsjahr 1993
Sprache Deutsch
Identifikator KITopen-ID: 19893
Erscheinungsvermerk Karlsruhe 1993. (Interner Bericht. Fakultaet fuer Informatik, Universitaet Karlsruhe. 1993,10.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page