KIT | KIT-Bibliothek | Impressum | Datenschutz

Formal reasoning about synchronous programming

Schneider, Klaus



Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Buch
Jahr 2001
Sprache Deutsch
Identifikator KITopen ID: 30532001
Erscheinungsvermerk Karlsruhe 2001. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 2001,15.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page