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]
@inproceedings{LomuscioQSS07,
title = {Verifying Temporal and Epistemic Properties of Web Service Compositions},
author = {Alessio Lomuscio and Hongyang Qu and Marek J. Sergot and Monika Solanki},
year = {2007},
doi = {10.1007/978-3-540-74974-5_43},
url = {http://dx.doi.org/10.1007/978-3-540-74974-5_43},
tags = {web service, composition},
researchr = {https://researchr.org/publication/LomuscioQSS07},
cites = {0},
citedby = {0},
pages = {456-461},
booktitle = {Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings},
editor = {Bernd J. Krämer and Kwei-Jay Lin and Priya Narasimhan},
volume = {4749},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-74973-8},
}