Verification of Web Service Conversations Specified in WSCL.

Zhifeng Gu, Juan-Zi Li, Jie Tang, Bin Xu, Ruobo Huang

Browse the full COMPSAC paper archive.