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]
Abstract is missing.