Author:
Bortolussi Luca,Milios Dimitrios,Sanguinetti Guido
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference43 articles.
1. PRISM 4.0: verification of probabilistic real-time systems;Kwiatkowska,2011
2. A Markov reward model checker;Katoen,2005
3. Exact stochastic simulation of coupled chemical reactions;Gillespie;J. Phys. Chem.,1977
4. Statistical probabilistic model checking with a focus on time-bounded properties;Younes;Inf. Comput.,2006
5. Bayesian statistical model checking with application to Simulink/Stateflow verification;Zuliani,2010
Cited by
49 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献