KIT | KIT-Bibliothek | Impressum | Datenschutz

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 Zeitschriftenaufsatz
Jahr 2002
Sprache Englisch
Identifikator ISSN: 0169-2968
KITopen-ID: 34132002
Erschienen in Fundamenta informaticae
Band 50
Heft 2
Seiten 111-133
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page