Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Monika Solanki. Verifying Temporal and Epistemic Properties of Web Service Compositions. In Bernd J. Krämer, Kwei-Jay Lin, Priya Narasimhan, editors, Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings. Volume 4749 of Lecture Notes in Computer Science, pages 456-461, Springer, 2007. [doi]
Abstract is missing.