×
模态框（Modal）标题
在这里添加一些文本
关闭
关闭
提交更改
取消
确定并提交
×
模态框（Modal）标题
在这里添加一些文本
关闭
×
文章快速检索
高级检索
Toggle navigation
首页
期刊简介
基本信息
收录情况
学术指标
出版伦理声明
期刊浏览
当期目录
特约稿件
推荐文章
网络首发
过刊浏览
引用排行
下载排行
编委会
投稿须知
学术动态
期刊动态
会议信息
书籍推荐
联系我们
English
SMT有界约束非集中自动机web服务模型检测
韦容, 申希兵, 杨毅
SMT Bounded Constrained Non Centralized Automaton Web Service Model Checking
Wei Rong, Shen Xibing, Yang Yi
系统仿真学报 . 2016, (
9
): 2283 -2288 .
http://www.china-simulation.com
