%0 Conference Paper %1 conf/soca/HwangHL11 %A Hwang, San-Yih %A Hsieh, Wen-Fan %A Lee, Chien-Hsiang %B SOCA %D 2011 %E Lin, Kwei-Jay %E Huemer, Christian %E Blake, M. Brian %E Benatallah, Boualem %I IEEE Computer Society %K dblp %P 1-4 %T Verifying Web services in a choreography environment. %U http://dblp.uni-trier.de/db/conf/soca/soca2011.html#HwangHL11 %@ 978-1-4673-0318-7

@inproceedings{conf/soca/HwangHL11, added-at = {2023-03-24T00:00:00.000+0100}, author = {Hwang, San-Yih and Hsieh, Wen-Fan and Lee, Chien-Hsiang}, biburl = {https://www.bibsonomy.org/bibtex/26f25abbf60fa764ab4cd5ff935a97584/dblp}, booktitle = {SOCA}, crossref = {conf/soca/2011}, editor = {Lin, Kwei-Jay and Huemer, Christian and Blake, M. Brian and Benatallah, Boualem}, ee = {https://doi.ieeecomputersociety.org/10.1109/SOCA.2011.6166254}, interhash = {b434ff8a10b165a4f469fe6ef88bd169}, intrahash = {6f25abbf60fa764ab4cd5ff935a97584}, isbn = {978-1-4673-0318-7}, keywords = {dblp}, pages = {1-4}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T22:06:08.000+0200}, title = {Verifying Web services in a choreography environment.}, url = {http://dblp.uni-trier.de/db/conf/soca/soca2011.html#HwangHL11}, year = 2011 }