Guangquan Zhang, Haojun Di, Mei Rong, Huijuan Shi. Specification and Verification of Data and Time in Web Service Composition. In Zhiguo Gong, Xiangfeng Luo, Junjie Chen, Jingsheng Lei, Fu Lee Wang, editors, Web Information Systems and Mining - International Conference, WISM 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part II. Volume 6988 of Lecture Notes in Computer Science, pages 436-443, Springer, 2011. [doi]
Abstract is missing.