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

PDF(243 KB)

电子学报 ›› 2005, Vol. 33 ›› Issue (6) : 1060-1065.

论文

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

作者信息 +

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

Author information +

文章历史 +

导出引用

{{article.zuoZheCn_L}}. {{article.title_cn}}[J]. {{journal.qiKanMingCheng_CN}}, 2005, 33(6): 1060-1065.

{{article.zuoZheEn_L}}. {{article.title_en}}[J]. Acta Electronica Sinica, 2005, 33(6): 1060-1065.

中图分类号：

原文顺序 | 文献年度倒序 | 文中引用次数倒序

PDF(243 KB)

Accesses

Citation

Detail

段落导航