综合
综合
专家
记者
成果
新闻
观点
活动
智库首页 > 智库成果 > 期刊论文
Model checking concurrent systems with MSVL
Zhang Nan Duan Zhenhua Tian Cong · 2016
收藏
阅读量：133
期刊名称：
Science China Information Sciences   2016 年 59 卷 11 期
发表日期：
2016.11.01
相关专家
相关课题