Verifying Transactional Requirements of Web Service Compositions Using Temporal Logic Templates - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Scott Bourne' in GoogleThis author has not been identified. Look up 'Claudia Szabo' in GoogleThis author has not been identified. Look up 'Quan Z. Sheng' in Google

runs on WebDSL