%0 Conference Paper %1 conf/sac/XuWQ08 %A Xu, Chunxiang %A Wang, Hanpin %A Qu, Wanling %B SAC %D 2008 %E Wainwright, Roger L. %E Haddad, Hisham %I ACM %K dblp %P 2358-2362 %T Modeling and verifying BPEL using synchronized net. %U http://dblp.uni-trier.de/db/conf/sac/sac2008.html#XuWQ08 %@ 978-1-59593-753-7

@inproceedings{conf/sac/XuWQ08, added-at = {2018-11-06T00:00:00.000+0100}, author = {Xu, Chunxiang and Wang, Hanpin and Qu, Wanling}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2125c23b41e24ae3df537599e4e7def9e/dblp}, booktitle = {SAC}, crossref = {conf/sac/2008}, editor = {Wainwright, Roger L. and Haddad, Hisham}, ee = {https://doi.org/10.1145/1363686.1364248}, interhash = {fa1606c6685bd9b9f3f5a3238abf6101}, intrahash = {125c23b41e24ae3df537599e4e7def9e}, isbn = {978-1-59593-753-7}, keywords = {dblp}, pages = {2358-2362}, publisher = {ACM}, timestamp = {2019-09-27T13:29:41.000+0200}, title = {Modeling and verifying BPEL using synchronized net.}, url = {http://dblp.uni-trier.de/db/conf/sac/sac2008.html#XuWQ08}, year = 2008 }