%A Jeremy W. Bryans
%A Wei Wei 
%J Proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems
%T Formal Analysis of BPMN Models Using Event-B
%D 2010
%I Springer
%P 33-49
%L deploy248

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