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

Search Results

Help

Item hits: (Results 21-24 of 24)

Filters    
Items/Page:    Sort:
improved bounded model checking for the universal fragment of ctl [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009-01-01, 卷号: 24, 期号: 1, 页码: 96-109
Xu Liang; Chen Wei; Xu Yan-Yan; Zhang Wen-Hui

 
the complexity of dual models problem of propositional linear temporal logics [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2007-01-01, 卷号: 18, 期号: 7, 页码: 1573-1581
Wu Zhi-Lin; Zhang Wen-Hui
  |  
 
extraction and segmentation of tables from chinese ink documents based on a matrix model [期刊论文]
PATTERN RECOGNITION, 2007-01-01, 卷号: 40, 期号: 7, 页码: 1855-1867
Zhang Xi-wen; Lyu Michael R.; Dai Guo-zhong
  |  
 
impossible differential cryptanalysis of reduced-round aria and camellia [期刊论文]
Journal of Computer Science and Technology, 2007-01-01, 卷号: 22, 期号: 3
Wu Wen-Ling; Zhang Wen-Tao; Feng Dengguo
  |  
 

previous 1 2 3

 

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