Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}