Mismatch Detection of Asynchronous Web Services with Timed Constraints.

Guangquan Zhang, Huijuan Shi, Mei Rong

Browse the full APSCC paper archive.