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, Shing-Chi
%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 = {2023-03-24T00:00:00.000+0100},
author = {Dai, Guilan and Bai, Xiaoying and Zhao, Chongchong},
biburl = {https://www.bibsonomy.org/bibtex/2da711e82d906e39d2512cd5720566be2/dblp},
booktitle = {ICEBE},
crossref = {conf/icebe/2007},
editor = {Cheung, Shing-Chi and Li, Yinsheng and Chao, Kuo-Ming and Younas, Muhammad and Chung, Jen-Yao},
ee = {https://doi.ieeecomputersociety.org/10.1109/ICEBE.2007.11},
interhash = {159a8e8a706a562ecaa1347343672ba4},
intrahash = {da711e82d906e39d2512cd5720566be2},
isbn = {0-7695-3003-6},
keywords = {dblp},
pages = {165-172},
publisher = {IEEE Computer Society},
timestamp = {2024-08-05T07:30:16.000+0200},
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
}