Author:
Turrini Andrea,Hermanns Holger
Funder
DFG
DFG/NWO Bilateral Research Programme ROCKS
Seventh Framework Programme
National Natural Science Foundation of China
Chinese Academy of Sciences Fellowship for International Young Scientists
CAS/SAFEA International Partnership Program for Creative Research Teams
Sino-German CDZ project CAP
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference46 articles.
1. Modeling and verification of randomized distributed real-time systems;Segala,1995
2. A testing scenario for probabilistic processes;Cheung;J. ACM,2007
3. Finite State Markovian Decision Processes;Derman,1970
4. PRISM 4.0: verification of probabilistic real-time systems;Kwiatkowska,2011
5. Automatic verification of probabilistic concurrent finite-state programs;Vardi,1985
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献