"Testing Preorders for Probabilistic Processes."

Rance Cleaveland et al. (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics