Yuxiang Shi, Jun Yan, Zhong Jie Li, Jun Zhu. Path-based verification for composition of semantic web services. In Roger L. Wainwright, Hisham Haddad, editors, Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008. pages 2392-2396, ACM, 2008. [doi]
Abstract is missing.