2007): Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking

by Joost-pieter Katoen, Tim Kemna, Ivan Zapreev, David N. Jansen
Venue:In: Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference (TACAS’07), Lecture Notes in Computer Science 4424