计算机应用研究2008，Vol.25Issue(12)：3785-3789,5.
一种验证Web服务流程的新方法
Novel method to verify Web services process
摘要
关键词
时序逻辑语言/Web服务本体描述语言/Web服务业务流程执行语言/Web服务组合验证/工作流模型分析分类
信息技术与安全科学引用本文复制引用
王晨,王红兵,许迅..一种验证Web服务流程的新方法[J].计算机应用研究,2008,25(12):3785-3789,5.基金项目
国家自然科学基金资助项目(60673175) （60673175）
