KIT | KIT-Bibliothek | Impressum | Datenschutz

Introducing mutual exclusion in Esterel

Schneider, Klaus; Sabelfeld, Viktor



Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Buchaufsatz
Jahr 2000
Sprache Deutsch
Identifikator KITopen ID: 1672000
Erscheinungsvermerk In: Perspectives of system informatics. 3rd International Andrei Ershov Memorial Conference, PSI '99. Ed.: D. Bjoerner. Berlin 2000. S. 441-454. (Lecture notes in computer science. 1755.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page