External Links

Cite Key

Statistics

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

PDF

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.

Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra

Soufiene Benkirane, Rachel Norman, Erin Scott, Carron Shankland. Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra. In Dimitra Giannakopoulou, Dominique Méry, editors, FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Volume 7436 of Lecture Notes in Computer Science, pages 101-115, Springer, 2012. [doi]

Authors

Soufiene Benkirane

This author has not been identified. Look up 'Soufiene Benkirane' in Google

Rachel Norman

This author has not been identified. Look up 'Rachel Norman' in Google

Erin Scott

This author has not been identified. Look up 'Erin Scott' in Google

Carron Shankland

This author has not been identified. Look up 'Carron Shankland' in Google
runs on