www.prismmodelchecker.org
[Der07] S. Derisavi. A Symbolic Algorithm for Optimal Markov Chain Lumping. In Proc. 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07), volume 4424 of LNCS, pages 139-154, Springer. March 2007. [bib] http://www.sce.carleton.ca/~derisavi/publications/index.html
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications