%0 Conference Paper %1 conf/cap/KunkleSC10 %A Kunkle, Daniel %A Slavici, Vlad %A Cooperman, Gene %B PASCO %D 2010 %E Maza, Marc Moreno %E Roch, Jean-Louis %I ACM %K dblp %P 63-72 %T Parallel disk-based computation for large, monolithic binary decision diagrams. %U http://dblp.uni-trier.de/db/conf/cap/pasco2010.html#KunkleSC10 %@ 978-1-4503-0067-4

@inproceedings{conf/cap/KunkleSC10, added-at = {2018-11-06T00:00:00.000+0100}, author = {Kunkle, Daniel and Slavici, Vlad and Cooperman, Gene}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2641654468e3f7e9c295221ebda3f2559/dblp}, booktitle = {PASCO}, crossref = {conf/cap/2010}, editor = {Maza, Marc Moreno and Roch, Jean-Louis}, ee = {https://doi.org/10.1145/1837210.1837222}, interhash = {150e47a19914f1286daf2095681d3086}, intrahash = {641654468e3f7e9c295221ebda3f2559}, isbn = {978-1-4503-0067-4}, keywords = {dblp}, pages = {63-72}, publisher = {ACM}, timestamp = {2019-09-27T21:23:31.000+0200}, title = {Parallel disk-based computation for large, monolithic binary decision diagrams.}, url = {http://dblp.uni-trier.de/db/conf/cap/pasco2010.html#KunkleSC10}, year = 2010 }