Xor-OBDDs - a BDD Structure for Probabilistic Verification

Cite this paper

@article{Meinel1998XorOBDDsA, title={Xor-OBDDs - a BDD Structure for Probabilistic Verification}, author={Christoph Meinel and Harald Sack}, journal={Universit{\"a}t Trier, Mathematik/Informatik, Forschungsbericht}, year={1998}, volume={98-28} }