Jinjun Chen, Yun Yang, T. Y. Chen. Dynamic Verification of Temporal Constraints on-the-fly for Workflow Systems. In 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November - 3 December 2004, Busan, Korea. pages 30-37, IEEE Computer Society, 2004. [doi]
Abstract is missing.