Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation.

Christel Baier Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation. 50-61 1996 conf/cav/1996 CAV db/conf/cav/cav96.html#Baier96 http://dx.doi.org/10.1007/3-540-61474-5_57