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

Search Results

Help

Item hits: (Results 1-2 of 2)

Items/Page:    Sort:
analysis and verification of dynamic stock trading systems [期刊论文]
Information Technology Journal, 2008-01-01, 卷号: 7, 期号: 3, 页码: 466-473
Du Yuyue; Zheng Hong; Yu Shuxia
  |  
 
modeling non-repudiation in distributed systems [期刊论文]
Information Technology Journal, 2008-01-01, 卷号: 7, 期号: 1, 页码: 228-230
Zheng Hong; Du YuYue; Yu ShuXia
  |  
 

1

 

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