Qingliang Chen, Kaile Su, Chanjuan Liu, Yinyin Xiao. Automatic Verification of Web Service Protocols for Epistemic Specifications under Dolev-Yao Model. In International Conference on Service Sciences, ICSS 2010, Hangzhou, Zhejiang, China, 13-14 May, 2010. pages 49-54, IEEE, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.