Christoph Meinel Harald Sack Xor-OBDDs - a BDD Structure for Probabilistic Verification Universität Trier, Mathematik/Informatik, Forschungsbericht 98-28 1998