Funder
Royal Society
European Research Council
Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications
Reference38 articles.
1. Anderson DF, Kurtz TG (2011) Continuous time Markov chain models for chemical reaction networks. In: Design and analysis of biomolecular circuits. Springer, pp 3–42
2. Angluin D, Aspnes J, Eisenstat D (2008) A simple population protocol for fast robust approximate majority. Distrib Comput 21(2):87–102
3. Barbot B, Kwiatkowska M (2015) On quantitative modelling and verification of DNA walker circuits using stochastic Petri nets. In: Devillers R, Valmari A (eds) Application and theory of Petri nets and concurrency, vol 9115 of Lecture notes in computer science. Springer International Publishing, New York, pp 1–32
4. Bortolussi L, Cardelli L, Kwiatkowska M, Laurenti L (2016) Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation. In: Proceedings 13th international conference on quantitative evaluation of systems (QEST 2016), LNCS. Springer. To appear
5. Cardelli L (2010) Two-domain DNA strand displacement. Dev Comput Models 26:47–61
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献