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]
Abstract is missing.