Scott Bourne, Claudia Szabo, Quan Z. Sheng. Verifying Transactional Requirements of Web Service Compositions Using Temporal Logic Templates. In Xuemin Lin, Yannis Manolopoulos, Divesh Srivastava, Guangyan Huang, editors, Web Information Systems Engineering - WISE 2013 - 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part I. Volume 8180 of Lecture Notes in Computer Science, pages 243-256, Springer, 2013. [doi]
Abstract is missing.