Explicit algorithms for probabilistic model checking / advisor: B. Intriglia ; ph. d. student: Igor Melatti ; ph. d. program supervisor: M. Flammini
2005.
1 v.
In testa al front.: Università degli studi dell'Aquila, dottorato di ricerca in informatica ed applicazioni, 17. ciclo
BN 2006-42T
INF/01 - Informatica


Tesi di dottorato. | Lingua: Inglese. | Paese: IT. | BID: BNI0014913
Biblioteca Inventario Collocazione Fruizione status
Biblioteca Nazionale Centrale - Firenze TVD020052790 TDR.2005.2790 Lettura tesi in sede