中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-7 of 7)

Items/Page:    Sort:
直觉线性μ-演算中的合成推理 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 8
张文辉
  |  
 
直觉线性μ-演算 [期刊论文]
软件学报, 2008-01-01, 卷号: 19, 期号: 12
张文辉
  |  
 
结合搜索空间划分和抽象进行LTL模型检测 [期刊论文]
中国科学E辑, 2007-01-01, 卷号: 37, 期号: 12, 页码: 1504-1520
蒲飞; 张文辉
  |  
 
命题线性时序逻辑的对偶模型问题的复杂性 [期刊论文]
软件学报, 2007-01-01, 卷号: 18, 期号: 7
吴志林; 张文辉
  |  
 
一种基于监控理论的软件设计方法:状态性质变换方法 [期刊论文]
控制理论与应用, 2007-01-01, 卷号: 24, 期号: 2
王向云; 张文辉; 王鹏; 李永超; 蔡开元
  |  
 
从基于迁移的扩展Büchi自动机到Büchi自动机 [期刊论文]
软件学报, 2006-01-01, 卷号: 17, 期号: 4
易锦; 张文辉
  |  
 
模型检测:理论、方法与应用 [期刊论文]
电子学报, 2002-01-01, 卷号: 30, 期号: z1
林惠民; 张文辉
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace