| Home | << 1 >> |
|
| Author | Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa | Finite horizon analysis of Markov Chains with the Mur$\varphi$ verifier | 2006 | Int. J. Softw. Tools Technol. Transf. | Springer-Verlag | 1433-2779 | 10.1007/s10009-005-0216-7 | 8 | 397-409 |