Backward Bisimulation in Markov Chain Model Checking”, (2006)

by J Sproston, S Donatelli
Venue:in IEEE Trans. on Software Engineering