Timing Constraints Specification and Verification for Web Service Compositions.

Guilan Dai, Rujuan Liu, Chongchong Zhao, Changjun Hu

Browse the full APSCC paper archive.