|
[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
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://www.sce.carleton.ca/~derisavi/publications/index.html
|