Publications
| Authors: | Antti Valmari |
| Giuliana Franceschinis | |
| Title: | Simple ( log) Time Markov Chain Lumping |
| Published on: | TACAS |
| Pages: | 38-52 |
| Year: | 2010 |
| Tipo Pubblicazione: | Paper on Proceedings International Conference |
| URL: | http://www.dblp.org/db/...10.1007/978-3-642-12002-2_4 |