中文

Yanhua Du*, Benyuan Yang, Wei Tan. A Model Checking Approach to Analyzing Timed Compatibility in Mediation-aided Composition of Web Services. The 22nd IEEE International Conference on Web Services (ICWS 2015), June 27- July 2, 2015, New York, USA: 567-574.

Hits:

Copyright ©  2022 USTB All Rights Reserved. Tel:010-62332299 Click:
  MOBILE Version

The Latest Update Time:..