Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli. Finite horizon analysis of Markov Chains with the Murphi verifier. STTT, 8(4-5):397-409, 2006. [doi]
@article{PennaIMTZ06,
title = {Finite horizon analysis of Markov Chains with the Murphi verifier},
author = {Giuseppe Della Penna and Benedetto Intrigila and Igor Melatti and Enrico Tronci and Marisa Venturini Zilli},
year = {2006},
doi = {10.1007/s10009-005-0216-7},
url = {http://dx.doi.org/10.1007/s10009-005-0216-7},
tags = {analysis, Markov},
researchr = {https://researchr.org/publication/PennaIMTZ06},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {8},
number = {4-5},
pages = {397-409},
}