%0 Conference Paper %1 conf/icebe/DaiBZ07 %A Dai, Guilan %A Bai, Xiaoying %A Zhao, Chongchong %B ICEBE %D 2007 %E Cheung, S. C. %E Li, Yinsheng %E Chao, Kuo-Ming %E Younas, Muhammad %E Chung, Jen-Yao %I IEEE Computer Society %K dblp %P 165-172 %T A Framework for Model Checking Web Service Compositions Based on BPEL4WS. %U http://dblp.uni-trier.de/db/conf/icebe/icebe2007.html#DaiBZ07 %@ 0-7695-3003-6

@inproceedings{conf/icebe/DaiBZ07, added-at = {2014-07-30T00:00:00.000+0200}, author = {Dai, Guilan and Bai, Xiaoying and Zhao, Chongchong}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/28b108c7c1b5426a25fb951566c38c337/dblp}, booktitle = {ICEBE}, crossref = {conf/icebe/2007}, editor = {Cheung, S. C. and Li, Yinsheng and Chao, Kuo-Ming and Younas, Muhammad and Chung, Jen-Yao}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICEBE.2007.11}, interhash = {159a8e8a706a562ecaa1347343672ba4}, intrahash = {8b108c7c1b5426a25fb951566c38c337}, isbn = {0-7695-3003-6}, keywords = {dblp}, pages = {165-172}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T14:25:25.000+0100}, title = {A Framework for Model Checking Web Service Compositions Based on BPEL4WS.}, url = {http://dblp.uni-trier.de/db/conf/icebe/icebe2007.html#DaiBZ07}, year = 2007 }