![](/img/cover-not-exists.png)
Verifying the Concurrent Properties in BPEL Based Web Service Composition Process
Li, Bixin, Ji, Shunhui, Qiu, Dong, Leung, Hareton, Zhang, GongyuanVolume:
10
Language:
english
Journal:
IEEE Transactions on Network and Service Management
DOI:
10.1109/TNSM.2013.111113.120379
Date:
December, 2013
File:
PDF, 752 KB
english, 2013