QQ客服 官方微博 反馈留言

浏览/检索结果: 共4条，第1-4条 帮助 限定条件 发表日期：2013    专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 model checking conditional csl for continuous-time markov chains 期刊论文 Information Processing Letters, 2013, 卷号: 113, 期号: 1-2, 页码: 44-50 Gao Yang; Xu Ming; Zhan Naijun; Zhang Lijun 收藏  |  浏览/下载：17/0  |  提交时间：2013/09/17 Automata theory  Formal methods  Stochastic systems   State succinctness of two-way finite automata with quantum and classical states 期刊论文 Theoretical Computer Science, 2013, 卷号: 499, 页码: 98-112 Zheng, Shenggen (1); Qiu, Daowen (1); Gruska, Jozef (3); Li, Lvzhou (1); Mateus, Paulo (2) 收藏  |  浏览/下载：15/0  |  提交时间：2014/12/16 Computing models  Quantum finite automata  State complexity  Succinctness   BISIMULATIONS MEET PCTL EQUIVALENCES FOR PROBABILISTIC AUTOMATA 期刊论文 LOGICAL METHODS IN COMPUTER SCIENCE, 2013, 卷号: 9, 期号: 2 Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming 收藏  |  浏览/下载：17/0  |  提交时间：2014/12/16 PCTL  Probabilistic automata  Characterization  Bisimulation   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) 收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16 Algorithms  Experimentation  Verification  Bisimulation  CEGAR  probabilistic automata