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

Search Results

Help

Item hits: (Results 1-3 of 3)

Filters        
Items/Page:    Sort:
面向传值进程的谓词μ-演算与FO(HML)的完备推演系统 [期刊论文]
计算机学报, 2002-01-01, 卷号: 25, 期号: 6
薛锐; 林惠民
  |  
 
高可靠软件研究:向信息技术的未来投资 [期刊论文]
中国科学院院刊, 2002-01-01, 卷号: 17, 期号: 6
林惠民
  |  
 
模型检测:理论、方法与应用 [期刊论文]
电子学报, 2002-01-01, 卷号: 30, 期号: z1
林惠民; 张文辉
  |  
 

1

 

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