Author:
Neupane Thakur,Zhang Zhen,Madsen Curtis,Zheng Hao,Myers Chris J.
Publisher
Springer International Publishing
Reference40 articles.
1. Abate A, Brim L, Češka M, Kwiatkowska M (2015) Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks. In: Kroening D, Păsăreanu CS (eds) Computer aided verification. Springer International Publishing, Cham, pp 195–213
2. Aziz A, Sanwal K, Singhal V, Brayton R (2000) Model-checking continuous-time Markov chains. ACM Trans Comput Logic 1:162–170
3. Baier C, Größer M, Ciesinski F (2004) Partial order reduction for probabilistic systems. In: 1st international conference on quantitative evaluation of systems (QEST 2004), Enschede, The Netherlands, 27–30 September 2004. IEEE Computer Society, pp 230–239.
https://doi.org/10.1109/QEST.2004.1348037
4. Baier C, D’Argenio P, Groesser M (2006) Partial order reduction for probabilistic branching time. Electron Notes Theor Comput Sci 153(2):97–116.
https://doi.org/10.1016/j.entcs.2005.10.034
5. Burrage K, Hegland M, Macnamara S, Sidje R (2006) A Krylov-based finite state projection algorithm for solving the chemical master equation arising in the discrete modelling of biological systems. In: Langville AN, Stewart WJ (eds) MAM 2006: Markov anniversary meeting: an international conference to celebrate the 150th anniversary of the birth of A.A. Markov. Boston Books, Charleston, South Carolina, pp 21–38.
http://eprints.qut.edu.au/46148/
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献