Automated synthesis of composite services with correctness guarantee
Ting Deng, Jinpeng Huai, Xianxian Li, Zongxia Du, Huipeng Guo
- Anthology ID:
- DBLP:conf/www/DengHLDG09
- Volume:
- Proceedings of the 18th International Conference on World Wide Web, WWW 2009, Madrid, Spain, April 20-24, 2009
- Year:
- 2009
- Venue:
- wwwconf_conference
- Publisher:
- ACM
- Pages:
- 1127–1128
- URL:
- https://doi.org/10.1145/1526709.1526890
- DOI:
- 10.1145/1526709.1526890
- DBLP:
- conf/www/DengHLDG09
