The BDD space complexity of different forms of concurrency
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Rechnerentwurf und Fehlertoleranz (IRF) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 2002 |
| Sprache | Englisch |
| Identifikator | ISSN: 0169-2968 KITopen-ID: 34132002 |
| Erschienen in | Fundamenta informaticae |
| Verlag | IOS Press |
| Band | 50 |
| Heft | 2 |
| Seiten | 111-133 |