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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.