Login / Signup

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

Yanhua DuBenyuan YangWei Tan
Published in: ICWS (2015)
Keyphrases