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]

Abstract

Abstract is missing.