Model Checking Analysis of Semantically Annotated Business Processes
2012 ◽
Vol 42
(4)
◽
pp. 854-867
◽