中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-4 of 4)

Items/Page: Sort:
	Probably safe or live [会议论文] Joint Meeting of the 23rd Annual EACSL Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/ IEEE Symposium on Logic in Computer Science, LICS 2014, Vienna, Austria, July 14, 2014 - July 18, 2014 Katoen, Joost-Pieter (1); Song, Lei (2); Zhang, Lijun (3)
	Bisimulations and logical characterizations on continuous-time markov decision processes [会议论文] 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014, San Diego, CA, United states, January 20, 2014 - January 21, 2014 Song, Lei (1); Zhang, Lijun (2); Godskesen, Jens Chr. (3)
	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)
	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)


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In