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

Search Results

Help

Item hits: (Results 1-10 of 59)

Filters        
Items/Page:    Sort:
当代城市化机理模型研究的比较与融合 [期刊论文]
城市发展研究, 2009-01-01, 卷号: 16, 期号: 9
薛领; 武倩倩; 李玉成
  |  
 
时间自动机的LTL性质模型检测研究 [期刊论文]
计算机仿真, 2009-01-01, 卷号: 26, 期号: 5
彭云全; 魏绪凯; 李广元
  |  
 
基于RTEMS的软件容错系统设计 [期刊论文]
计算机应用研究, 2009-01-01, 卷号: 26, 期号: 3
李小群; 张文君; 潘远明; 肖贺; 郭亮; 姜志颖
  |  
 
直觉线性μ-演算中的合成推理 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 8
张文辉
  |  
 
新经济地理学预期问题的回顾与展望 [期刊论文]
广西社会科学, 2008-01-01, 期号: 6
李玉成; 杨开忠
  |  
 
集聚与增长整合研究评述 [期刊论文]
经济问题, 2008-01-01, 期号: 5
李玉成; 杨开忠
  |  
 
直觉线性μ-演算 [期刊论文]
软件学报, 2008-01-01, 卷号: 19, 期号: 12
张文辉
  |  
 
用于C语言程序验证的性质描述语言C-PDL [期刊论文]
苏州大学学报(自然科学版), 2007-01-01, 卷号: 23, 期号: 3
左春华; 张广泉; 郭亮
  |  
 
命题线性时序逻辑的对偶模型问题的复杂性 [期刊论文]
软件学报, 2007-01-01, 卷号: 18, 期号: 7
吴志林; 张文辉
  |  
 
Petri网共享PP-型子网合成性质分析 [期刊论文]
软件学报, 2007-01-01, 卷号: 18, 期号: 1
夏传良; 焦莉; 陆维明
  |  
 

1 2 3 4 5 6 next

 

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