"Verification of Probabilistic Systems with Faulty Communication."

Parosh Aziz Abdulla, Alexander Moshe Rabinovich (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics