A Model Checking Approach to Analyzing Timed Compatibility in Mediation-Aided Composition of Web Services.

Yanhua Du, Benyuan Yang, Wei Tan

Browse the full ICWS paper archive.