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

Search Results

Help

Item hits: (Results 1-5 of 5)

Items/Page:    Sort:
on hierarchically developing reactive systems [期刊论文]
INFORMATION AND COMPUTATION, 2010-01-01, 卷号: 208, 期号: 9, 页码: 997-1019
Zhan Naijun; Majster-Cederbaum Mila
  |  
 
a predicate spatial logic for mobile processes [期刊论文]
Science in China Series F-information Sciences, 2004-01-01, 卷号: 47, 期号: 3, 页码: 394-408
Lin Huimin
  |  
 
on decidability and model checking for a first order modal logic for value-passing processes [期刊论文]
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2003-01-01, 卷号: 46, 期号: 1, 页码: 45-59
Xue R; Lin HM
  |  
 
probabilistic belief logic and its probabilistic aumann semantics [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003-01-01, 卷号: 18, 期号: 5, 页码: 571-579
Cao ZN; Shi CY
  |  
 
on decidability and model checking for a first order modal logic for value-passing processes [期刊论文]
Science in China Series F: Information Sciences, 2003-01-01, 卷号: 46, 期号: 1, 页码: 45-59
Rui Xue; Lin Huimin
  |  
 

1

 

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