Dajuan Fan, Zhiqiu Huang, Lei Tang. A Correctness Assurance Approach to Automatic Synthesis of Composite Web Services. IEICE Transactions, 97-D(6):1535-1545, 2014. [doi]
@article{FanHT14,
title = {A Correctness Assurance Approach to Automatic Synthesis of Composite Web Services},
author = {Dajuan Fan and Zhiqiu Huang and Lei Tang},
year = {2014},
url = {http://search.ieice.org/bin/summary.php?id=e97-d_6_1535},
researchr = {https://researchr.org/publication/FanHT14},
cites = {0},
citedby = {0},
journal = {IEICE Transactions},
volume = {97-D},
number = {6},
pages = {1535-1545},
}