%0 Conference Paper %1 conf/scw/YeungWD06 %A Yeung, Wing Lok %A Wang, Ji %A Dong, Wei %B SCW %D 2006 %I IEEE Computer Society %K dblp %P 97-104 %T Verifying Choreographic Descriptions of Web Services Based on CSP. %U http://dblp.uni-trier.de/db/conf/scw/scw2006.html#YeungWD06 %@ 0-7695-2681-0

@inproceedings{conf/scw/YeungWD06, added-at = {2019-05-28T00:00:00.000+0200}, author = {Yeung, Wing Lok and Wang, Ji and Dong, Wei}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23fe42b80e46d70a1725c67ce94d00f72/dblp}, booktitle = {SCW}, crossref = {conf/scw/2006}, ee = {http://doi.ieeecomputersociety.org/10.1109/SCW.2006.41}, interhash = {60f57e4a55e8714f691dcc0bab118871}, intrahash = {3fe42b80e46d70a1725c67ce94d00f72}, isbn = {0-7695-2681-0}, keywords = {dblp}, pages = {97-104}, publisher = {IEEE Computer Society}, timestamp = {2019-09-27T19:05:22.000+0200}, title = {Verifying Choreographic Descriptions of Web Services Based on CSP.}, url = {http://dblp.uni-trier.de/db/conf/scw/scw2006.html#YeungWD06}, year = 2006 }