Benedikt Bollig, Martin Leucker. Model Checking Probabilistic Distributed Systems. In Vijay A. Saraswat, editor, Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings. Volume 2896 of Lecture Notes in Computer Science, pages 291-304, Springer, 2003. [doi]
Abstract is missing.