论文降重
免费查重
Model checking concurrent systems with MSVL
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
推荐文章
The morphological characteristics of gully systems and watersheds in Dry-Hot Valley, SW China
Morphological characteristics
Quantitative relationships
Gully system
Watershed
Dry-Hot Valley
Lyocell与Model织物风格比较
再生纤维素纤维
Lyocell织物
Model织物
风格特征
Zircon saturation model in silicate melts: a review and update
Zircon
Zircon saturation
Model
Silicate melt
Mafic to silicic melts
Peraluminous to peralkaline compositions
Igneous rocks
Thermometer
Anti-model测试框架的研究与实现
Anti-model测试
组件
面向方面
测试用例
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | Model checking concurrent systems with MSVL | ||
| 来源期刊 | 中国科学 | 学科 | |
| 关键词 | |||
| 年，卷（期） | zgkx_2016,（11） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 220-222 | |
| 页数 | 3页 | 分类号 | |
| 字数 | 语种 | 中文 | |
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2016(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
引文网络交叉学科
相关学者/机构
期刊影响力
期刊文献
相关文献
推荐文献
