External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Finite horizon analysis of Markov Chains with the Murphi verifier

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]

Authors

Giuseppe Della Penna

This author has not been identified. Look up 'Giuseppe Della Penna' in Google

Benedetto Intrigila

This author has not been identified. Look up 'Benedetto Intrigila' in Google

Igor Melatti

This author has not been identified. Look up 'Igor Melatti' in Google

Enrico Tronci

This author has not been identified. Look up 'Enrico Tronci' in Google

Marisa Venturini Zilli

This author has not been identified. Look up 'Marisa Venturini Zilli' in Google
runs on