Funder
ARC
National Natural Science Foundation of China
CAS/SAFEA
CAP
Chinese Academy of Sciences
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference28 articles.
1. Verifying continuous time Markov chains;Aziz,1996
2. Model-checking continuous-time Markov chains;Aziz;ACM Trans. Comput. Log.,2000
3. Model checking continuous-time Markov chains by transient analysis;Baier,2000
4. On the logical characterisation of performability properties;Baier,2000
5. Model-checking algorithms for continuous-time Markov chains;Baier;IEEE Trans. Softw. Eng.,2003
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献