%0 Journal Article %1 tr/trier/MI98-28 %A Meinel, Christoph %A Sack, Harald %D 1998 %J Universität Trier, Mathematik/Informatik, Forschungsbericht %K %T Xor-OBDDs - a BDD Structure for Probabilistic Verification %V 98-28

@article{tr/trier/MI98-28, added-at = {2023-12-12T19:04:46.000+0100}, author = {Meinel, Christoph and Sack, Harald}, biburl = {https://www.bibsonomy.org/bibtex/212b70f503d99d0e3e71e8eea527c7b40/admin}, interhash = {1b716aca89b7b181e7cc871c935519e7}, intrahash = {12b70f503d99d0e3e71e8eea527c7b40}, journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht}, keywords = {}, timestamp = {2023-12-12T19:04:46.000+0100}, title = {Xor-OBDDs - a BDD Structure for Probabilistic Verification}, volume = {98-28}, year = 1998 }