%0 Conference Paper %1 conf/er/YangTX05 %A Yang, Yanping %A Tan, QingPing %A Xiao, Yong %B ER (Workshops) %D 2005 %E Akoka, Jacky %E Liddle, Stephen W. %E Song, Il-Yeol %E Bertolotto, Michela %E Comyn-Wattiau, Isabelle %E Cherfi, Samira Si-Said %E van den Heuvel, Willem-Jan %E Thalheim, Bernhard %E Kolp, Manuel %E Bresciani, Paolo %E Trujillo, Juan %E Kop, Christian %E Mayr, Heinrich C. %I Springer %K dblp %P 354-363 %T Verifying Web Services Composition. %U http://dblp.uni-trier.de/db/conf/er/erw2005.html#YangTX05 %V 3770 %@ 3-540-29395-7

@inproceedings{conf/er/YangTX05, added-at = {2017-05-25T00:00:00.000+0200}, author = {Yang, Yanping and Tan, QingPing and Xiao, Yong}, biburl = {https://www.bibsonomy.org/bibtex/294e046e743e3d3e3c4c6c1e4a271c0f6/dblp}, booktitle = {ER (Workshops)}, crossref = {conf/er/2005w}, editor = {Akoka, Jacky and Liddle, Stephen W. and Song, Il-Yeol and Bertolotto, Michela and Comyn-Wattiau, Isabelle and Cherfi, Samira Si-Said and van den Heuvel, Willem-Jan and Thalheim, Bernhard and Kolp, Manuel and Bresciani, Paolo and Trujillo, Juan and Kop, Christian and Mayr, Heinrich C.}, ee = {https://doi.org/10.1007/11568346_38}, interhash = {9f7857bc6f249f2fbf3e6b57a2fd5fb5}, intrahash = {94e046e743e3d3e3c4c6c1e4a271c0f6}, isbn = {3-540-29395-7}, keywords = {dblp}, pages = {354-363}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:41:52.000+0200}, title = {Verifying Web Services Composition.}, url = {http://dblp.uni-trier.de/db/conf/er/erw2005.html#YangTX05}, volume = 3770, year = 2005 }