@inproceedings{DIMTZ03,
  author    = {G. Della Penna and
               B. Intrigila and
               I. Melatti and
               E. Tronci and
               M. V. Zilli},
  title     = {Finite Horizon Analysis of Markov Chains with the Mur$\varphi$ Verifier},
  pages     = {394--409},
  editor    = {Daniel Geist and
               Enrico Tronci},
  booktitle = {Correct Hardware Design and Verification Methods, 12th IFIP WG
               10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila,
               Italy, October 21-24, 2003, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2860},
  year      = {2003},
  isbn      = {3-540-20363-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}