Dynamic Verification of Temporal Constraints on-the-fly for Workflow Systems

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]

Authors

Jinjun Chen

This author has not been identified. Look up 'Jinjun Chen' in Google

Yun Yang

This author has not been identified. Look up 'Yun Yang' in Google

T. Y. Chen

This author has not been identified. Look up 'T. Y. Chen' in Google