Author:
Ballarini Paolo,Guerriero Maria Luisa
Subject
General Computer Science,Theoretical Computer Science
Reference35 articles.
1. Verifying continuous time Markov chains;Aziz,1996
2. C. Baier, On algorithmic verification methods for probabilistic systems, Habilitation thesis, Ph.D. Thesis, Fakultaet fuer Mathematik Informatik, Universitaet Mannheim, 1998.
3. Model checking Markov chains with actions and state labels;Baier;IEEE Trans. Softw. Eng.,2007
4. Model-checking algorithms for continuous-time Markov chains;Baier;IEEE Trans. Softw. Eng.,2003
5. P. Ballarini, M. Forlin, T. Mazza, D. Prandi, Efficient parallel statistical model checking of biochemical networks, in: Proceedings of Parallel and Distributed Methods in Verification, Electronic Proceedings in Theoretical Computer Science, 2009.
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献