A Model Checking Tool Embedded into Services Composition Environment - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chunming Gao, Rongsheng Liu, Yan Song, Huowang Chen. A Model Checking Tool Embedded into Services Composition Environment. In Grid and Cooperative Computing - GCC 2006, 5th International Conference, Changsha, Hunan, China, 21-23 October 2006, Proceedings. pages 355-362, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Chunming Gao' in GoogleThis author has not been identified. Look up 'Rongsheng Liu' in GoogleThis author has not been identified. Look up 'Yan Song' in GoogleThis author has not been identified. Look up 'Huowang Chen' in Google

runs on WebDSL