Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking (2007)

by J-P Katoen, T Kemna, I S Zapreev, D N Jansen
Venue:Proc. Int’l Conf. Tools and Algorithms for the Construction and Analysis of Systems, O. Grumberg and