Yanping Yang, Ming-an Zhang, Xiqing Ye, Houwu Chen, Xinke Lian. Protocol Compatibility Verification for Web Services Interaction. In Fifth International Conference on Semantics, Knowledge and Grid, SKG 2009, Zhuhai, China, October 12-14, 2009. pages 106-112, IEEE Computer Society, 2009. [doi]
Abstract is missing.