Formal analysis of BPMN models using Event-B /
Bryans, Jeremy W.
Wei, Wei.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
2010.
"May 2010."
Title from cover.