Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - JOUR
ID - DBLP:journals/sttt/PennaIMTZ06
AU - Penna, Giuseppe Della
AU - Intrigila, Benedetto
AU - Melatti, Igor
AU - Tronci, Enrico
AU - Zilli, Marisa Venturini
TI - Finite horizon analysis of Markov Chains with the Murphi verifier.
JO - Int. J. Softw. Tools Technol. Transf.
VL - 8
IS - 4-5
SP - 397
EP - 409
PY - 2006//
DO - 10.1007/S10009-005-0216-7
UR - https://doi.org/10.1007/s10009-005-0216-7
ER -
