title: Formal Analysis of BPMN Models Using Event-B
creator: Bryans, Jeremy W.
creator: Wei , Wei
subject: Event-B
subject: Industrial Deployment
subject: Business
subject: Methodology
publisher: Springer
date: 2010
type: Article
type: PeerReviewed
identifier:   Bryans, Jeremy W. and Wei , Wei  (2010) Formal Analysis of BPMN Models Using Event-B.  Proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems .   pp. 33-49.      
relation: http://deploy-eprints.ecs.soton.ac.uk/248/