Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra
Attributed to:
System Dynamics from Individual Interactions: A process algebra approach to epidemiology
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-32759-9_11
Publication URI: http://dx.doi.org/10.1007/978-3-642-32759-9_11
Type: Book Chapter
Book Title: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings (2012)
Page Reference: 101-115
ISBN: 978-3-642-32758-2