TY  - JOUR
ID  - deploy248
UR  - http://deploy-eprints.ecs.soton.ac.uk/248/
A1  - Bryans, Jeremy W.
A1  - Wei , Wei
Y1  - 2010///
PB  - Springer
JF  - Proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems
TI  - Formal Analysis of BPMN Models Using Event-B
SP  - 33
AV  - none
EP  - 49
ER  -

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>