ISSN 1000-1239 CN 11-1777/TP
工作流过程建模中的形式化验证技术
周建涛, 史美林, 叶新铭,
Formal Verification Techniques in Workflow Process Modeling
Zhou Jiantao, Shi Meilin, and Ye Xinming
计算机研究与发展 . 2005, (1): 1 -9 .