%0 Conference Paper %1 conf/acsd/BaldamusS01 %A Baldamus, Michael %A Schneider, Klaus %B ACSD %D 2001 %I IEEE Computer Society %K dblp %P 231- %T The BDD Space Complexity of Different Forms of Concurrency. %U http://dblp.uni-trier.de/db/conf/acsd/acsd2001.html#BaldamusS01 %@ 0-7695-1071-X

@inproceedings{conf/acsd/BaldamusS01, added-at = {2024-10-06T00:00:00.000+0200}, author = {Baldamus, Michael and Schneider, Klaus}, biburl = {https://www.bibsonomy.org/bibtex/274de39c06604771400d34d52bd33351a/dblp}, booktitle = {ACSD}, crossref = {conf/acsd/2001}, ee = {https://doi.ieeecomputersociety.org/10.1109/CSD.2001.981780}, interhash = {be4048d1840600b6e0e24f720e8353d6}, intrahash = {74de39c06604771400d34d52bd33351a}, isbn = {0-7695-1071-X}, keywords = {dblp}, pages = {231-}, publisher = {IEEE Computer Society}, timestamp = {2024-10-07T08:36:52.000+0200}, title = {The BDD Space Complexity of Different Forms of Concurrency.}, url = {http://dblp.uni-trier.de/db/conf/acsd/acsd2001.html#BaldamusS01}, year = 2001 }