Author:
Baier Christel,Hermanns Holger,Katoen Joost-Pieter,Haverkort Boudewijn R.
Subject
General Computer Science,Theoretical Computer Science
Reference31 articles.
1. Y. Abdeddaïm, E. Asarin, O. Maler, On optimal scheduling under uncertainty, in: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science, Vol. 2619, Springer, Berlin, 2003, pp. 240–253.
2. Modelling with Generalized Stochastic Petri Nets;Ajmone Marsan,1995
3. L. de Alfaro, Formal verification of probabilistic systems, Ph.D. Dissertation, Stanford University, 1997.
4. How to specify and verify the long-run average behavior of probabilistic systems;de Alfaro,1998
5. Model checking continuous time Markov chains;Aziz;ACM Trans. Comput. Logic,2000
Cited by
75 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献