Automated synthesis of composite services with correctness guarantee.

@inproceedings{deng-2009-automated, author = {Ting Deng and Jinpeng Huai and Xianxian Li and Zongxia Du and Huipeng Guo}, editor = {Juan Quemada and Gonzalo Le\'{o}n and Yoelle Maarek and Wolfgang Nejdl}, title = {{Automated synthesis of composite services with correctness guarantee}}, booktitle = {{Proceedings of the 18th International Conference on World Wide Web, WWW 2009, Madrid, Spain, April 20-24, 2009}}, pages = {1127--1128}, publisher = {ACM}, year = {2009}, url = {https://doi.org/10.1145/1526709.1526890}, doi = {https://doi.org/10.1145/1526709.1526890} }