Formalization and Verification of Event-driven Process chain

【文件属性】：

文件名称：Formalization and Verification of Event-driven Process chain

文件大小：137KB

文件格式：PDF

更新时间：2011-02-24 05:29:52

and Event-driven Formalization of Verification

Formalization and Verification of Event-driven Process chain