{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T07:24:58Z","timestamp":1773645898935,"version":"3.50.1"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319451763","type":"print"},{"value":"9783319451770","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-45177-0_15","type":"book-chapter","created":{"date-parts":[[2016,9,3]],"date-time":"2016-09-03T05:42:38Z","timestamp":1472881358000},"page":"232-251","source":"Crossref","is-referenced-by-count":10,"title":["Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory"],"prefix":"10.1007","author":[{"given":"Chunyan","family":"Mu","sequence":"first","affiliation":[]},{"given":"Peter","family":"Dittrich","sequence":"additional","affiliation":[]},{"given":"David","family":"Parker","sequence":"additional","affiliation":[]},{"given":"Jonathan E.","family":"Rowe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,4]]},"reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/3-540-61474-5_75","volume-title":"Computer Aided Verification","author":"A Aziz","year":"1996","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Verifying continuous time Markov chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 269\u2013276. Springer, Heidelberg (1996)"},{"issue":"6","key":"15_CR2","first-page":"524","volume":"29","author":"C Baier","year":"2003","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.-P.: Model-checking algorithms for continuous-time Markov chains. IEEE TSE 29(6), 524\u2013541 (2003)","journal-title":"IEEE TSE"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/978-3-642-40196-1_9","volume-title":"Quantitative Evaluation of Systems","author":"L Bortolussi","year":"2013","unstructured":"Bortolussi, L., Lanciani, R.: Model checking Markov population models by central limit approximation. In: Joshi, K., Siegle, M., Stoelinga, M., D\u2019Argenio, P.R. (eds.) QEST 2013. LNCS, vol. 8054, pp. 123\u2013138. Springer, Heidelberg (2013)"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1007\/978-3-319-23401-4_7","volume-title":"Computational Methods in Systems Biology","author":"L Cardelli","year":"2015","unstructured":"Cardelli, L., Kwiatkowska, M., Laurenti, L.: Stochastic analysis of chemical reaction networks using linear noise approximation. In: Roux, O., Bourdon, J. (eds.) CMSB 2015. LNCS, vol. 9308, pp. 64\u201376. Springer, Heidelberg (2015)"},{"key":"15_CR5","volume-title":"Model Checking","author":"E Clarke","year":"2000","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. The MIT Press, Cambridge (2000)"},{"issue":"3","key":"15_CR6","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1162\/106454601753238636","volume":"7","author":"P Dittrich","year":"2001","unstructured":"Dittrich, P., Ziegler, J., Banzhaf, W.: Artificial chemistries-a review. Artif. Life 7(3), 225\u2013275 (2001)","journal-title":"Artif. Life"},{"issue":"4","key":"15_CR7","doi-asserted-by":"crossref","first-page":"1199","DOI":"10.1007\/s11538-006-9130-8","volume":"69","author":"P Dittrich","year":"2007","unstructured":"Dittrich, P., di Fenizio, P.: Chemical organisation theory. Bull. Math. Biol. 69(4), 1199\u20131231 (2007)","journal-title":"Bull. Math. Biol."},{"issue":"3","key":"15_CR8","doi-asserted-by":"crossref","first-page":"775","DOI":"10.1016\/0009-2509(74)80195-8","volume":"29","author":"M Feinberg","year":"1973","unstructured":"Feinberg, M., Horn, F.J.M.: Dynamics of open chemical systems and the algebraic structure of the underlying reaction network. Chem. Eng. Sci. 29(3), 775\u2013787 (1973)","journal-title":"Chem. Eng. Sci."},{"key":"15_CR9","unstructured":"Fontana, W.: Algorithmic chemistry. In: Artificial Life II. Addison Wesley (1992)"},{"issue":"1","key":"15_CR10","first-page":"1","volume":"56","author":"W Fontana","year":"1994","unstructured":"Fontana, W., Buss, L.W.: \u201cThe arrival of the fittest\u201d: toward a theory of biological organization. Bull. Math. Biol. 56(1), 1\u201364 (1994)","journal-title":"Bull. Math. Biol."},{"issue":"25","key":"15_CR11","doi-asserted-by":"crossref","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D Gillespie","year":"1977","unstructured":"Gillespie, D.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340\u20132361 (1977)","journal-title":"J. Phys. Chem."},{"key":"15_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-1161-4","volume-title":"The Regulation of Cellular Systems","author":"R Heinrich","year":"1996","unstructured":"Heinrich, R., Schuster, S.: The Regulation of Cellular Systems. Chapman and Hall, New York (1996)"},{"key":"15_CR13","volume-title":"Algorithm Design","author":"J Kleinberg","year":"2006","unstructured":"Kleinberg, J., Tardos, \u00c9.: Algorithm Design. Addison-Wesley, Boston (2006)"},{"issue":"17","key":"15_CR14","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1093\/bioinformatics\/btu453","volume":"30","author":"P Kreyssig","year":"2014","unstructured":"Kreyssig, P., Wozar, C., Peter, S., Veloz, T., Ibrahim, B., Dittrich, P.: Effects of small particle numbers on long-term behaviour in discrete biochemical systems. Bioinformatics 30(17), 475\u2013481 (2014)","journal-title":"Bioinformatics"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011)"},{"issue":"2","key":"15_CR16","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R Tarjan","year":"1972","unstructured":"Tarjan, R.: Depth first search and linear graph algorithms. SIAM J. Comput. 1(2), 146\u2013160 (1972)","journal-title":"SIAM J. Comput."},{"key":"15_CR17","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1186\/1752-0509-4-42","volume":"4","author":"V Wolf","year":"2010","unstructured":"Wolf, V., Goel, R., Mateescu, M., Henzinger, T.: Solving the chemical master equation using sliding windows. BMC Syst. Biol. J. 4, 42 (2010)","journal-title":"BMC Syst. Biol. J."}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45177-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T21:58:10Z","timestamp":1498341490000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45177-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319451763","9783319451770"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45177-0_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}