A Formal Specification for Web Services Composition and Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yuliang Shi, Liang Zhang, Bing Liu, Fangfang Liu, Lili Lin, Baile Shi. A Formal Specification for Web Services Composition and Verification. In Fifth International Conference on Computer and Information Technology (CIT 2005), 21-23 September 2005, Shanghai, China. pages 252-256, IEEE Computer Society, 2005. [doi]

This author has not been identified. Look up 'Yuliang Shi' in GoogleThis author has not been identified. Look up 'Liang Zhang' in GoogleThis author has not been identified. Look up 'Bing Liu' in GoogleThis author has not been identified. Look up 'Fangfang Liu' in GoogleThis author has not been identified. Look up 'Lili Lin' in GoogleThis author has not been identified. Look up 'Baile Shi' in Google

runs on WebDSL