Automated synthesis of composite services with correctness guarantee.

Ting Deng, Jinpeng Huai, Xianxian Li, Zongxia Du, Huipeng Guo

Browse the full WWW paper archive.