中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

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 林惠民; 张文辉 \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In