Pubblicazioni
| Autori: | Antti Valmari |
| Giuliana Franceschinis | |
| Titolo: | Simple ( log) Time Markov Chain Lumping |
| Apparso su: | TACAS |
| Pagine: | 38-52 |
| Anno: | 2010 |
| Tipo Pubblicazione: | Paper on Proceedings International Conference |
| URL: | http://www.dblp.org/db/...10.1007/978-3-642-12002-2_4 |