Italiano (Italian) English (Inglese)
venerdì, 22 marzo 2019

Pubblicazioni

Indietro
Dettagli Pubblicazione
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