Guangquan Zhang, Huijuan Shi, Mei Rong. Mismatch Detection of Asynchronous Web Services with Timed Constraints. In James J. Park, Christos Nikolaou, Jiannong Cao, editors, 2011 IEEE Asia-Pacific Services Computing Conference, APSCC 2011, Jeju, Korea (South), December 12-15, 2011. pages 251-258, IEEE, 2011. [doi]
Abstract is missing.