Hongchen Li, Yun Yang. Verification of Temporal Constraints for Concurrent Workflows. In Jeffrey Xu Yu, Xuemin Lin, Hongjun Lu, Yanchun Zhang, editors, Advanced Web Technologies and Applications, 6th Asia-Pacific Web Conference, APWeb 2004, Hangzhou, China, April 14-17, 2004, Proceedings. Volume 3007 of Lecture Notes in Computer Science, pages 804-813, Springer, 2004. [doi]
Abstract is missing.