Guilan Dai, Xiaoying Bai, Chongchong Zhao. A Framework for Time Consistency Verification for Web Processes Based on Annotated OWL-S. In Grid and Cooperative Computing, Sixth International Conference on Grid and Cooperative Computing, GCC 2007, August 16-18, 2007, Urumchi, Xinjiang, China, Proceedings. pages 346-353, IEEE Computer Society, 2007. [doi]
Abstract is missing.