Describing and Verifying Web Service Using CCS - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Li Bao, Weishi Zhang, Xiuguo Zhang. Describing and Verifying Web Service Using CCS. In Seventh International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2006), 4-7 December 2006, Taipei, Taiwan. pages 421-426, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Li Bao' in GoogleThis author has not been identified. Look up 'Weishi Zhang' in GoogleThis author has not been identified. Look up 'Xiuguo Zhang' in Google

runs on WebDSL