CBR:一种支持工作流过程语义验证的组件级化简方法

周建涛, 史美林, 叶新铭

CBR:A Component-Based Reduction Method for Semantics Verification of Workflow Processes

ZHOU Jian-tao, SHI Mei-lin, YE Xin-ming

电子学报 . 2005, (6): 1060 -1065 .