Tien-Dung Cao, Trung-Tien Phan-Quang, Patrick Félix, Richard Castanet. Automated Runtime Verification for Web Services. In IEEE International Conference on Web Services, ICWS 2010, Miami, Florida, USA,July 5-10, 2010. pages 76-82, IEEE Computer Society, 2010. [doi]
@inproceedings{CaoPFC10,
title = {Automated Runtime Verification for Web Services},
author = {Tien-Dung Cao and Trung-Tien Phan-Quang and Patrick Félix and Richard Castanet},
year = {2010},
doi = {10.1109/ICWS.2010.19},
url = {http://doi.ieeecomputersociety.org/10.1109/ICWS.2010.19},
tags = {web service, web services},
researchr = {https://researchr.org/publication/CaoPFC10},
cites = {0},
citedby = {0},
pages = {76-82},
booktitle = {IEEE International Conference on Web Services, ICWS 2010, Miami, Florida, USA,July 5-10, 2010},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-4128-0},
}