Model checking of timed compatibility for mediation-aided web service composition: A three stage approach

Yanhua Du, Benyuan Yang, HeSuan Hu. Model checking of timed compatibility for mediation-aided web service composition: A three stage approach. Expert Syst. Appl., 112:190-207, 2018. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: