Institutional Repository
| 时间自动机的LTL性质模型检测研究 | |
| Alternative Title | ltl model checking for timed automata |
| 彭云全; 魏绪凯; 李广元 | |
| 2009 | |
| Source | 计算机仿真
 |
| Volume | 26Issue:5 |
| Indexed Type | wanfang |
| Keyword | 时间自动机 模型检测 线性时序逻辑性质 二叉决策图共享存储 |
| Department | 计算机科学国家重点实验室 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/5070 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | 彭云全,魏绪凯,李广元. 时间自动机的LTL性质模型检测研究[J]. 计算机仿真,2009,26(5). |
| APA | 彭云全,魏绪凯,&李广元.(2009).时间自动机的LTL性质模型检测研究.计算机仿真,26(5). |
| MLA | 彭云全,et al."时间自动机的LTL性质模型检测研究".计算机仿真 26.5(2009). |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 3.pdf（408KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment