%0 Conference Paper %1 conf/icws/CaoPFC10 %A Cao, Tien-Dung %A Phan-Quang, Trung-Tien %A Félix, Patrick %A Castanet, Richard %B ICWS %D 2010 %I IEEE Computer Society %K dblp %P 76-82 %T Automated Runtime Verification for Web Services. %U http://dblp.uni-trier.de/db/conf/icws/icws2010.html#CaoPFC10 %@ 978-0-7695-4128-0

@inproceedings{conf/icws/CaoPFC10, added-at = {2023-03-24T00:00:00.000+0100}, author = {Cao, Tien-Dung and Phan-Quang, Trung-Tien and Félix, Patrick and Castanet, Richard}, biburl = {https://www.bibsonomy.org/bibtex/25e5c62cfe3a364c2603b28f6703eb41b/dblp}, booktitle = {ICWS}, crossref = {conf/icws/2010}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICWS.2010.19}, interhash = {8ae6569fc8a17b74a55e99bdb5e387fa}, intrahash = {5e5c62cfe3a364c2603b28f6703eb41b}, isbn = {978-0-7695-4128-0}, keywords = {dblp}, pages = {76-82}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:31:53.000+0200}, title = {Automated Runtime Verification for Web Services.}, url = {http://dblp.uni-trier.de/db/conf/icws/icws2010.html#CaoPFC10}, year = 2010 }