Verification of Composite Services with Temporal Consistency Checking and Temporal Satisfaction Estimation

Azlan Ismail, Jun Yan, Jun Shen. Verification of Composite Services with Temporal Consistency Checking and Temporal Satisfaction Estimation. In Gottfried Vossen, Darrell D. E. Long, Jeffrey Xu Yu, editors, Web Information Systems Engineering - WISE 2009, 10th International Conference, Poznan, Poland, October 5-7, 2009. Proceedings. Volume 5802 of Lecture Notes in Computer Science, pages 343-350, Springer, 2009. [doi]

Authors

Azlan Ismail

This author has not been identified. Look up 'Azlan Ismail' in Google

Jun Yan

This author has not been identified. Look up 'Jun Yan' in Google

Jun Shen

This author has not been identified. Look up 'Jun Shen' in Google