Describing and Verifying Web Service Composition Using TLA Reasoning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hongbing Wang, Qianzhao Zhou, Yanqi Shi. Describing and Verifying Web Service Composition Using TLA Reasoning. In 2010 IEEE International Conference on Services Computing, SCC 2010, Miami, Florida, USA, July 5-10, 2010. pages 234-241, IEEE Computer Society, 2010. [doi]

This author has not been identified. Look up 'Hongbing Wang' in GoogleThis author has not been identified. Look up 'Qianzhao Zhou' in GoogleThis author has not been identified. Look up 'Yanqi Shi' in Google

runs on WebDSL