Chunyan Mu, Peter Dittrich, David Parker 0001, Jonathan E. Rowe. Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory. In Ezio Bartocci, Pietro Liò, Nicola Paoletti, editors, Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings. Volume 9859 of Lecture Notes in Computer Science, pages 232-251, Springer, 2016. [doi]
Abstract is missing.