工作流过程建模方法及模型的形式化验证
공작류과정건모방법급모형적형식화험증
A Survey of Workflow Modeling Approaches and Model Verification
저자의 최근 논문