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

Search Results

Help

Item hits: (Results 11-15 of 15)

Items/Page:    Sort:
Revisiting weak simulation for substochastic Markov chains [会议论文]
10th International Conference on Quantitative Evaluation of Systems, QEST 2013, Buenos Aires, Argentina, August 27, 2013 - August 30, 2013
Jansen, David N. (1); Song, Lei (2); Zhang, Lijun (3)

 
A semantics for every GSPN [会议论文]
34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2013, Milan, Italy, June 24, 2013 - June 28, 2013
Eisentraut, Christian (1); Hermanns, Holger (1); Katoen, Joost-Pieter (2); Zhang, Lijun (3)

 
Incremental bisimulation abstraction refinement [会议论文]
2013 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, July 8, 2013 - July 10, 2013
Song, Lei (1); Zhang, Lijun (2); Hermanns, Holger (1); Godskesen, Jens Chr. (3)

 
model checking conditional csl for continuous-time markov chains [期刊论文]
Information Processing Letters, 2013-01-01, 卷号: 113, 期号: 1-2, 页码: 44-50
Gao Yang; Xu Ming; Zhan Naijun; Zhang Lijun

 
a community-centric model for service publication, discovery, selection, binding, and maintenance [会议论文]
5th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2010, Nanjing, China, 43986
Chan W.K.; Mei Lijun; Zhang Zhenyu; Gao Xiaopeng
  |  
 

previous 1 2

 

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