Yang Yu, Xiaohui Li. A Workflow Model with Temporal Logic Constraints and Its Automated Verification. In Grid and Cooperative Computing, Sixth International Conference on Grid and Cooperative Computing, GCC 2007, August 16-18, 2007, Urumchi, Xinjiang, China, Proceedings. pages 681-684, IEEE Computer Society, 2007. [doi]
Abstract is missing.