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]
@inproceedings{BourneSS13,
title = {Verifying Transactional Requirements of Web Service Compositions Using Temporal Logic Templates},
author = {Scott Bourne and Claudia Szabo and Quan Z. Sheng},
year = {2013},
doi = {10.1007/978-3-642-41230-1_21},
url = {http://dx.doi.org/10.1007/978-3-642-41230-1_21},
researchr = {https://researchr.org/publication/BourneSS13},
cites = {0},
citedby = {0},
pages = {243-256},
booktitle = {Web Information Systems Engineering - WISE 2013 - 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part I},
editor = {Xuemin Lin and Yannis Manolopoulos and Divesh Srivastava and Guangyan Huang},
volume = {8180},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-41229-5},
}