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

@article{DBLP:tr/trier/MI98-28, added-at = {2022-09-15T11:04:20.000+0200}, author = {Meinel, Christoph and Sack, Harald}, bibsource = {dblp computer science bibliography, https://dblp.org}, biburl = {https://www.bibsonomy.org/bibtex/2e108375ed691d4d7518e5421318eb03a/vivienvetter}, interhash = {1b716aca89b7b181e7cc871c935519e7}, intrahash = {e108375ed691d4d7518e5421318eb03a}, journal = {Universit{\"{a}}t Trier, Mathematik/Informatik, Forschungsbericht}, keywords = {imported}, timestamp = {2022-09-15T11:04:20.000+0200}, title = {Xor-OBDDs - a {BDD} Structure for Probabilistic Verification}, volume = {98-28}, year = 1998 }