KIT | KIT-Bibliothek | Impressum

Workshop Formale Spezifikation und Verifikation

Damm, Frank; Horster, Patrick; [Hrsg.]



Zugehörige Institution(en) am KIT Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationstyp Proceedingsband
Jahr 1992
Sprache Deutsch
Identifikator KITopen ID: 104992
Erscheinungsvermerk Karlsruhe 1991. (Report. E.I.S.S., Universitaet Karlsruhe. 1991,7.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page