%0 Journal Article %1 DBLP:journals/entcs/MeinelS99 %A Meinel, Christoph %A Sack, Harald %D 1999 %J Electron. Notes Theor. Comput. Sci. %K %P 156--170 %R 10.1016/S1571-0661(05)80601-2 %T Parity-OBDDs - a BDD structure for Probabilistic Verification %U https://doi.org/10.1016/S1571-0661(05)80601-2 %V 22

@article{DBLP:journals/entcs/MeinelS99, added-at = {2023-12-13T00:27:47.000+0100}, author = {Meinel, Christoph and Sack, Harald}, bibsource = {dblp computer science bibliography, https://dblp.org}, biburl = {https://www.bibsonomy.org/bibtex/25df068fc079dac764cd2c8aefbb8e017/admin}, doi = {10.1016/S1571-0661(05)80601-2}, interhash = {63aea259b80bb87bc8eb93a24feb79b0}, intrahash = {5df068fc079dac764cd2c8aefbb8e017}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {}, pages = {156--170}, timestamp = {2023-12-13T00:27:47.000+0100}, title = {Parity-OBDDs - a {BDD} structure for Probabilistic Verification}, url = {https://doi.org/10.1016/S1571-0661(05)80601-2}, volume = 22, year = 1999 }