Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti. Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation. In Gul Agha, Benny Van Houdt, editors, Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings. Volume 9826 of Lecture Notes in Computer Science, pages 72-88, Springer, 2016. [doi]
Abstract is missing.