Verifying Service-Oriented Requirements Using Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xiaoxia Cao, Huaikou Miao, Qingguo Xu. Verifying Service-Oriented Requirements Using Model Checking. In 2008 IEEE International Conference on e-Business Engineering, ICEBE 2008, Xi'an, China, October 22-24, 2008. pages 643-648, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Xiaoxia Cao' in GoogleThis author has not been identified. Look up 'Huaikou Miao' in GoogleThis author has not been identified. Look up 'Qingguo Xu' in Google

runs on WebDSL