Rujuan Liu, Changjun Hu, Chongchong Zhao, Zhong Gao. Verification for Time Consistency of Web Service Flow. In Roger Y. Lee, editor, 7th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2008, 14-16 May 2008, Portland, Oregon, USA. pages 624-629, IEEE Computer Society, 2008. [doi]
Abstract is missing.