工作流建模中时态逻辑的研究与应用

• Temporal Logic Applied in Workflow Modeling