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

Jinjun Chen, Yun Yang, Tsong Yueh Chen

Browse the full APSEC paper archive.