KIT | KIT-Bibliothek | Impressum

The BDD space complexity of different forms of concurrency

Baldamus, Michael; Schneider, Klaus



Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Buchaufsatz
Jahr 2001
Sprache Englisch
Identifikator KITopen ID: 32142001
Erscheinungsvermerk In: Application of concurrency to system design. Proceedings of the 2nd International Conference, ACSD 2001, Newcastle upon Tyne, United Kingdom 2001. Los Alamitos, Calif. 2001. S. 231-244.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page