Author:
Hahn Ernst Moritz,Hermanns Holger,Zhang Lijun
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference32 articles.
1. Abbott, J.: The design of CoCoALib. In: ICMS, pp. 205–215 (2006)
2. Baier C., Ciesinski F., Größer M.: ProbMela and verification of Markov decision processes. SIGMETRICS 32(4), 22–27 (2005)
3. Baier, C., Hermanns, H.: Weak bisimulation for fully probabilistic processes. In: CAV, pp. 119–130 (1997)
4. Baier C., Katoen J.-P., Hermanns H., Wolf V.: Comparative branching-time semantics for Markov chains. Inf. Comput. 200(2), 149–214 (2005)
5. Bianco A., de Alfaro L.: Model checking of probabilistic and nondeterministic systems. FSTTCS 15, 499–513 (1995)
Cited by
114 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献