Correctness Verification for Service-Based Business Processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pengbo Xiu, Weiliang Zhao, Jian Yang 0001. Correctness Verification for Service-Based Business Processes. In Ilkay Altintas, Shiping Chen, editors, 2017 IEEE International Conference on Web Services, ICWS 2017, Honolulu, HI, USA, June 25-30, 2017. pages 752-759, IEEE, 2017. [doi]

This author has not been identified. Look up 'Pengbo Xiu' in GoogleThis author has not been identified. Look up 'Weiliang Zhao' in GoogleThis author has not been identified. Look up 'Jian Yang 0001' in Google

runs on WebDSL