Institutional Repository
| 模型检测:理论、方法与应用 | |
| Alternative Title | model checking: theories,techniques and applications |
| 林惠民; 张文辉 | |
| 2002 | |
| Source | 电子学报
 |
| Volume | 30Issue:z1 |
| Indexed Type | wanfang |
| Keyword | 系统可靠性 模态/时序逻辑 模型检测 |
| Department | 计算机科学国家重点实验室 |
| Sponsorship | National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/4472 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | 林惠民,张文辉. 模型检测:理论、方法与应用[J]. 电子学报,2002,30(z1). |
| APA | 林惠民,&张文辉.(2002).模型检测:理论、方法与应用.电子学报,30(z1). |
| MLA | 林惠民,et al."模型检测:理论、方法与应用".电子学报 30.z1(2002). |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 12.pdf（365KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment