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

Search Results

Help

Item hits: (Results 1-10 of 30)

Items/Page:    Sort:
Complete Proof Systems for Amortised Probabilistic Bisimulations [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016-01-01, 卷号: 31, 期号: 2, 页码: 300-316
Xu, LL; Lin, HM

 
Deciding probabilistic automata weak bisimulation: theory and practice [期刊论文]
FORMAL ASPECTS OF COMPUTING, 2016-01-01, 卷号: 28, 期号: 1, 页码: 109-143
Fioriti, LMF; Hashemi, V; Hermanns, H; Turrini, A
  |  
 
A space-efficient simulation algorithm on probabilistic automata [期刊论文]
INFORMATION AND COMPUTATION, 2016-01-01, 卷号: 249, 页码: 138-159
Zhang, LJ; Jansen, DN
  |  
 
一类受限正则表达式的推断算法 [期刊论文]
计算机科学, 2014-01-01, 卷号: 41, 期号: 4, 页码: 178-183
冯晓强; 郑黎晓; 陈海明

 
具体反例生成与图形化显示系统 [期刊论文]
计算机系统应用, 2013-01-01, 期号: 11, 页码: 51-57
信贤卫

 
State succinctness of two-way finite automata with quantum and classical states [期刊论文]
Theoretical Computer Science, 2013-01-01, 卷号: 499, 页码: 98-112
Zheng, Shenggen (1); Qiu, Daowen (1); Gruska, Jozef (3); Li, Lvzhou (1); Mateus, Paulo (2)

 
BISIMULATIONS MEET PCTL EQUIVALENCES FOR PROBABILISTIC AUTOMATA [期刊论文]
LOGICAL METHODS IN COMPUTER SCIENCE, 2013-01-01, 卷号: 9, 期号: 2
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming

 
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)

 
rewrite-based statistical model checking of wmtl [会议论文]
3rd International Conference on Runtime Verification, RV 2012, Istanbul, Turkey, September 25, 2012 - September 28, 2012
Bulychev Peter; David Alexandre; Larsen Kim G.; Legay Axel; Li Guangyuan; Poulsen Danny Bgsted

 
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

 

1 2 3 next

 

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