中国开放科研知识云: 检索

收藏 | 浏览/下载：12/0 | 提交时间：2016/12/13

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)

收藏 | 浏览/下载：24/0 | 提交时间：2014/12/16

收藏 | 浏览/下载：22/0 | 提交时间：2013/05/31

收藏 | 浏览/下载：16/0 | 提交时间：2013/09/17

收藏 | 浏览/下载：16/0 | 提交时间：2014/12/16

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)

收藏 | 浏览/下载：10/0 | 提交时间：2014/12/16

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)

收藏 | 浏览/下载：15/0 | 提交时间：2014/12/16

收藏 | 浏览/下载：5/0 | 提交时间：2012/11/12

compositional reasoning for markov decision processes 会议论文
4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011, Tehran, Iran, April 20, 2011 - April 22, 2011
Deng Yuxin; Hennessy Matthew

收藏 | 浏览/下载：12/0 | 提交时间：2013/09/22

a probabilistic variant of projection temporal logic 会议论文
Recent Advances in Computer Science and Information Engineering Volume 3, Changchun, China, June 17, 2011 - June 19, 2011
Yang Xiaoxiao

收藏 | 浏览/下载：5/0 | 提交时间：2013/09/22

在结果中检索