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

Search Results

Help

Item hits: (Results 1-3 of 3)

Filters    
Items/Page:    Sort:
logic petri nets and equivalency [期刊论文]
Information Technology Journal, 2009-01-01, 卷号: 8, 期号: 1, 页码: 95-100
Du Y.Y.; Guo B.Q.

 
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