Yanhua Du et al.: A Model Checking Approach to Analyzing Timed Compatibility in Mediation-Aided Composition of Web Services. (2015)conf/icws/DuYT1510.1109/ICWS.2015.81A Model Checking Approach to Analyzing Timed Compatibility in Mediation-Aided Composition of Web Services.3Yanhua Du1Benyuan Yang2Wei Tan 00013567-574ICWSICWS20152015provenance information for RDF data of dblp record 'conf/icws/DuYT15'2023-03-24T00:02:30+0100