"On the numerical verification of probabilistic rewriting systems."

Jounaïdi Ben Hassen, Sofiène Tahar (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics