Wei Song, Xiaoxing Ma, S. C. Cheung, Wanchun Dou, Jian Lu. A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions. In 2009 IEEE International Conference on Services Computing (SCC 2009), 21-25 September 2009, Bangalore, India. pages 427-434, IEEE Computer Society, 2009. [doi]
Abstract is missing.