{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,14]],"date-time":"2026-09-14T11:52:43Z","timestamp":1789386763385,"version":"build-2803163510"},"publisher-location":"Cham","reference-count":53,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319633893","type":"print"},{"value":"9783319633909","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-63390-9_20","type":"book-chapter","created":{"date-parts":[[2017,7,12]],"date-time":"2017-07-12T04:53:50Z","timestamp":1499835230000},"page":"375-395","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["Syntax-Guided Optimal Synthesis for Chemical Reaction Networks"],"prefix":"10.1007","author":[{"given":"Luca","family":"Cardelli","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Milan","family":"\u010ce\u0161ka","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Fr\u00e4nzle","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marta","family":"Kwiatkowska","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Luca","family":"Laurenti","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nicola","family":"Paoletti","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Max","family":"Whitby","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,7,13]]},"reference":[{"key":"20_CR1","first-page":"1","volume":"40","author":"R Alur","year":"2015","unstructured":"Alur, R., et al.: Syntax-guided synthesis. Dependable Softw. Syst. Eng. 40, 1\u201325 (2015)","journal-title":"Dependable Softw. Syst. Eng."},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-642-22110-1_8","volume-title":"Computer Aided Verification","author":"A Andreychenko","year":"2011","unstructured":"Andreychenko, A., Mikeev, L., Spieler, D., Wolf, V.: Parameter identification for Markov models of biochemical reactions. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 83\u201398. Springer, Heidelberg (2011). doi:10.1007\/978-3-642-22110-1_8"},{"issue":"3","key":"20_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/s00446-008-0067-z","volume":"21","author":"D Angluin","year":"2008","unstructured":"Angluin, D., Aspnes, J., Eisenstat, D.: Fast computation by population protocols with a leader. Distrib. Comput. 21(3), 183\u2013199 (2008)","journal-title":"Distrib. Comput."},{"issue":"4","key":"20_CR4","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/s00446-007-0040-2","volume":"20","author":"D Angluin","year":"2007","unstructured":"Angluin, D., Aspnes, J., Eisenstat, D., Ruppert, E.: The computational power of population protocols. Distrib. Comput. 20(4), 279\u2013304 (2007)","journal-title":"Distrib. Comput."},{"issue":"4","key":"20_CR5","doi-asserted-by":"crossref","first-page":"1633","DOI":"10.1093\/genetics\/149.4.1633","volume":"149","author":"A Arkin","year":"1998","unstructured":"Arkin, A., Ross, J., McAdams, H.H.: Stochastic kinetic analysis of developmental pathway bifurcation in phage $$\\lambda $$-infected Escherichia coli cells. Genetics 149(4), 1633\u20131648 (1998)","journal-title":"Genetics"},{"issue":"3","key":"20_CR6","doi-asserted-by":"publisher","first-page":"693","DOI":"10.1109\/TCBB.2011.110","volume":"9","author":"J Barnat","year":"2012","unstructured":"Barnat, J., et al.: On parameter synthesis by parallel model checking. IEEE\/ACM Trans. Comput. Biol. Bioinf. 9(3), 693\u2013705 (2012)","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinf."},{"key":"20_CR7","unstructured":"Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.F.: Revising hull and box consistency. In: ICLP 1999. MIT Press, pp. 230\u2013244 (1999)"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Bornholt, J., Torlak, E., Grossman, D., Ceze, L.: Optimizing synthesis with metasketches. In: POPL 2016. ACM, pp. 775\u2013788 (2016)","DOI":"10.1145\/2914770.2837666"},{"key":"20_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-319-43425-4_5","volume-title":"Quantitative Evaluation of Systems","author":"L Bortolussi","year":"2016","unstructured":"Bortolussi, L., Cardelli, L., Kwiatkowska, M., Laurenti, L.: Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation. In: Agha, G., Houdt, B. (eds.) QEST 2016. LNCS, vol. 9826, pp. 72\u201388. Springer, Cham (2016). doi:10.1007\/978-3-319-43425-4_5"},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/j.ic.2016.01.004","volume":"247","author":"L Bortolussi","year":"2016","unstructured":"Bortolussi, L., Milios, D., Sanguinetti, G.: Smoothed model checking for uncertain Continuous-Time Markov Chains. Inf. Comput. 247, 235\u2013253 (2016)","journal-title":"Inf. Comput."},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Calinescu, R.C., \u010ce\u0161ka, M., Gerasimou, S., Kwiatkowska, M., Paoletti, N.: Designing robust software systems through parametric markov chain synthesis. In: IEEE International Conference on Software Architecture (ICSA 2017). IEEE (2017)","DOI":"10.1109\/ICSA.2017.16"},{"key":"20_CR12","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/978-3-540-88869-7_22","volume-title":"Algorithmic Bioprocesses","author":"L Cardelli","year":"2009","unstructured":"Cardelli, L.: Artificial biochemistry. In: Condon, A., Harel, D., Kok, J.N., Salomaa, A., Winfree, E. (eds.) Algorithmic Bioprocesses, pp. 429\u2013462. Springer, Heidelberg (2009)"},{"issue":"1","key":"20_CR13","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1186\/1752-0509-8-84","volume":"8","author":"L Cardelli","year":"2014","unstructured":"Cardelli, L.: Morphisms of reaction networks that couple structure to function. BMC Syst. Biol. 8(1), 84 (2014)","journal-title":"BMC Syst. Biol."},{"issue":"02","key":"20_CR14","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1017\/S0960129512000102","volume":"23","author":"L Cardelli","year":"2013","unstructured":"Cardelli, L.: Two-domain DNA strand displacement. Math. Struct. Comput. Sci. 23(02), 247\u2013271 (2013)","journal-title":"Math. Struct. Comput. Sci."},{"key":"20_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-319-43994-5_3","volume-title":"DNA Computing and Molecular Programming","author":"L Cardelli","year":"2016","unstructured":"Cardelli, L., Kwiatkowska, M., Laurenti, L.: Programming discrete distributions with chemical reaction networks. In: Rondelez, Y., Woods, D. (eds.) DNA 2016. LNCS, vol. 9818, pp. 35\u201351. Springer, Cham (2016). doi:10.1007\/978-3-319-43994-5_3"},{"key":"20_CR16","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1016\/j.biosystems.2016.09.004","volume":"149","author":"L Cardelli","year":"2016","unstructured":"Cardelli, L., Kwiatkowska, M., Laurenti, L.: Stochastic analysis of chemical reaction networks using linear noise approximation. Biosystems 149, 26\u201333 (2016)","journal-title":"Biosystems"},{"key":"20_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-319-43994-5_5","volume-title":"DNA Computing and Molecular Programming","author":"L Cardelli","year":"2016","unstructured":"Cardelli, L., Kwiatkowska, M., Whitby, M.: Chemical reaction network designs for asynchronous logic circuits. In: Rondelez, Y., Woods, D. (eds.) DNA 2016. LNCS, vol. 9818, pp. 67\u201381. Springer, Cham (2016). doi:10.1007\/978-3-319-43994-5_5"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Comparing chemical reaction networks: a categorical and algorithmic perspective. In: LICS 2016, pp. 485\u2013494. ACM (2016)","DOI":"10.1145\/2933575.2935318"},{"issue":"1","key":"20_CR19","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2914770.2837649","volume":"51","author":"L Cardelli","year":"2016","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Symbolic computation of differential equivalences. ACM SIGPLAN Notices 51(1), 137\u2013150 (2016). (ACM)","journal-title":"ACM SIGPLAN Notices"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"\u010ce\u0161ka, M., Dannenberg, F., Paoletti, N., Kwiatkowska, M., Brim, L.: Precise parameter synthesis for stochastic biochemical systems. Acta Inf. 1\u201335 (2016)","DOI":"10.1007\/s00236-016-0265-2"},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"Chen, H.-L., Doty, D., Soloveichik, D.: Rate-independent computation in continuous chemical reaction networks. In: ITCS 2014, pp. 313\u2013326. ACM (2014)","DOI":"10.1145\/2554797.2554827"},{"issue":"57","key":"20_CR22","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1098\/rsif.2010.0336","volume":"8","author":"A Csik\u00e1sz-Nagy","year":"2011","unstructured":"Csik\u00e1sz-Nagy, A., Cardelli, L., Soyer, O.S.: Response dynamics of phosphorelays suggest their potential utility in cell signalling. J. R. Soc. Interface 8(57), 480\u2013488 (2011)","journal-title":"J. R. Soc. Interface"},{"key":"20_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-319-21999-8_2","volume-title":"DNA Computing and Molecular Programming","author":"N Dalchau","year":"2015","unstructured":"Dalchau, N., Murphy, N., Petersen, R., Yordanov, B.: Synthesizing and tuning chemical reaction networks with specified behaviours. In: Phillips, A., Yin, P. (eds.) DNA 2015. LNCS, vol. 9211, pp. 16\u201333. Springer, Cham (2015). doi:10.1007\/978-3-319-21999-8_2"},{"issue":"6188","key":"20_CR24","doi-asserted-by":"publisher","first-page":"1156","DOI":"10.1126\/science.1248882","volume":"344","author":"S-J Dunn","year":"2014","unstructured":"Dunn, S.-J., Martello, G., Yordanov, B., Emmott, S., Smith, A.: Defining an essential transcription factor program for naive pluripotency. Science 344(6188), 1156\u20131160 (2014)","journal-title":"Science"},{"key":"20_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-540-88387-6_14","volume-title":"Automated Technology for Verification and Analysis","author":"A Eggers","year":"2008","unstructured":"Eggers, A., Fr\u00e4nzle, M., Herde, C.: SAT modulo ODE: a direct SAT approach to hybrid systems. In: Cha, S.S., Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol. 5311, pp. 171\u2013185. Springer, Heidelberg (2008). doi:10.1007\/978-3-540-88387-6_14"},{"issue":"1","key":"20_CR26","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s10270-012-0295-3","volume":"14","author":"A Eggers","year":"2015","unstructured":"Eggers, A., Ramdani, N., Nedialkov, N.S., Fr\u00e4nzle, M.: Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods. Softw. Syst. Model. 14(1), 121\u2013148 (2015)","journal-title":"Softw. Syst. Model."},{"issue":"7312","key":"20_CR27","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1038\/nature09326","volume":"467","author":"A Eldar","year":"2010","unstructured":"Eldar, A., Elowitz, M.B.: Functional roles for noise in genetic circuits. Nature 467(7312), 167\u2013173 (2010)","journal-title":"Nature"},{"key":"20_CR28","volume-title":"Markov Processes: Characterization and Convergence","author":"SN Ethier","year":"2009","unstructured":"Ethier, S.N., Kurtz, T.G.: Markov Processes: Characterization and Convergence, vol. 282. Wiley, Hoboken (2009)"},{"key":"20_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/978-3-642-31365-3_23","volume-title":"Automated Reasoning","author":"S Gao","year":"2012","unstructured":"Gao, S., Avigad, J., Clarke, E.M.: $$\\delta $$-complete decision procedures for satisfiability over the reals. In: Gramlich, B., Miller, D., Sattler, U. (eds.) IJCAR 2012. LNCS, vol. 7364, pp. 286\u2013300. Springer, Heidelberg (2012). doi:10.1007\/978-3-642-31365-3_23"},{"key":"20_CR30","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-642-38574-2_14","volume-title":"Automated Deduction \u2013 CADE-24","author":"S Gao","year":"2013","unstructured":"Gao, S., Kong, S., Clarke, E.M.: dReal: an SMT solver for nonlinear theories over the reals. In: Bonacina, M.P. (ed.) CADE 2013. LNCS (LNAI), vol. 7898, pp. 208\u2013214. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-38574-2_14"},{"key":"20_CR31","doi-asserted-by":"crossref","unstructured":"Gerasimou, S., Tamburrelli, G., Calinescu, R.: Search-based synthesis of probabilistic models for quality-of-service software engineering. In: ASE 2015, pp. 319\u2013330 (2015)","DOI":"10.1109\/ASE.2015.22"},{"key":"20_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/978-3-662-46681-0_47","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M Giacobbe","year":"2015","unstructured":"Giacobbe, M., Guet, C.C., Gupta, A., Henzinger, T.A., Paix\u00e3o, T., Petrov, T.: Model checking gene regulatory networks. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 469\u2013483. Springer, Heidelberg (2015). doi:10.1007\/978-3-662-46681-0_47"},{"issue":"1","key":"20_CR33","doi-asserted-by":"crossref","first-page":"13","DOI":"10.37236\/1027","volume":"13","author":"M Hardy","year":"2006","unstructured":"Hardy, M.: Combinatorics of partial derivatives. Electron. J. Combin. 13(1), 13 (2006)","journal-title":"Electron. J. Combin."},{"issue":"3","key":"20_CR34","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/j.tcs.2007.11.013","volume":"391","author":"J Heath","year":"2008","unstructured":"Heath, J., Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O.: Probabilistic model checking of complex biological pathways. Theoret. Comput. Sci. 391(3), 239\u2013257 (2008)","journal-title":"Theoret. Comput. Sci."},{"issue":"24","key":"20_CR35","doi-asserted-by":"publisher","first-page":"3067","DOI":"10.1093\/bioinformatics\/btl485","volume":"22","author":"S Hoops","year":"2006","unstructured":"Hoops, S., et al.: COPASI - a complex pathway simulator. Bioinformatics 22(24), 3067\u20133074 (2006)","journal-title":"Bioinformatics"},{"issue":"2","key":"20_CR36","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","volume":"3","author":"RM Karp","year":"1969","unstructured":"Karp, R.M., Miller, R.E.: Parallel program schemata. J. Comput. Syst. Sci. 3(2), 147\u2013195 (1969)","journal-title":"J. Comput. Syst. Sci."},{"key":"20_CR37","doi-asserted-by":"crossref","unstructured":"Koksal, A.S., Pu, Y., Srivastava, S., Bodik, R., Fisher, J., Piterman, N.: Synthesis of Biological Models from Mutation Experiments. In: POPL 2013, pp. 469\u2013482. ACM (2013)","DOI":"10.1145\/2480359.2429125"},{"key":"20_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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). doi:10.1007\/978-3-642-22110-1_47"},{"key":"20_CR39","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Thachuk, C.: Probabilistic model checking for biology. In: Software Systems Safety, vol, 36, p. 165 (2014)","DOI":"10.3233\/978-1-61499-385-8-165"},{"issue":"72","key":"20_CR40","doi-asserted-by":"publisher","first-page":"1470","DOI":"10.1098\/rsif.2011.0800","volume":"9","author":"MR Lakin","year":"2012","unstructured":"Lakin, M.R., Parker, D., Cardelli, L., Kwiatkowska, M., Phillips, A.: Design and analysis of DNA strand displacement devices using probabilistic model checking. J. R. Soc. Interface 9(72), 1470\u20131485 (2012)","journal-title":"J. R. Soc. Interface"},{"key":"20_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-319-23401-4_16","volume-title":"Computational Methods in Systems Biology","author":"C Madsen","year":"2015","unstructured":"Madsen, C., Shmarov, F., Zuliani, P.: BioPSy: an SMT-based tool for guaranteed parameter set synthesis of biological models. In: Roux, O., Bourdon, J. (eds.) CMSB 2015. LNCS, vol. 9308, pp. 182\u2013194. Springer, Cham (2015). doi:10.1007\/978-3-319-23401-4_16"},{"issue":"4","key":"20_CR42","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"20_CR43","doi-asserted-by":"crossref","unstructured":"Nori, A.V., Ozair, S., Rajamani, S.K., Vijaykeerthy, D.: Effcient Synthesis of Probabilistic Programs. In: PLDI 2014, pp. 208\u2013217. ACM (2015)","DOI":"10.1145\/2813885.2737982"},{"key":"20_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-85778-5_1","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"J Ouaknine","year":"2008","unstructured":"Ouaknine, J., Worrell, J.: Some recent results in metric temporal logic. In: Cassez, F., Jard, C. (eds.) FORMATS 2008. LNCS, vol. 5215, pp. 1\u201313. Springer, Heidelberg (2008). doi:10.1007\/978-3-540-85778-5_1"},{"key":"20_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/978-3-319-08867-9_23","volume-title":"Computer Aided Verification","author":"N Paoletti","year":"2014","unstructured":"Paoletti, N., Yordanov, B., Hamadi, Y., Wintersteiger, C.M., Kugler, H.: Analyzing and Synthesizing genomic logic functions. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 343\u2013357. Springer, Cham (2014). doi:10.1007\/978-3-319-08867-9_23"},{"key":"20_CR46","doi-asserted-by":"crossref","unstructured":"Solar-Lezama, A., Jones, C.G., Bodik, R.: Sketching concurrent data structures. In: PLDI 2008, pp. 136\u2013148. ACM (2008)","DOI":"10.1145\/1379022.1375599"},{"key":"20_CR47","doi-asserted-by":"crossref","unstructured":"Solar-Lezama, A., Rabbah, R., Bod\u00edk, R., Ebcio\u011flu, K.: Programming by Sketching for bit-streaming programs. In: PLDI 2005, pp. 281\u2013294. ACM (2005)","DOI":"10.1145\/1064978.1065045"},{"key":"20_CR48","doi-asserted-by":"crossref","unstructured":"Solar-Lezama, A., Tancau, L., Bodik, R., Seshia, S., Saraswat, V.: Combinatorial sketching for finite programs. In: ASPLOS 2006, pp. 404\u2013415. ACM (2006)","DOI":"10.1145\/1168917.1168907"},{"issue":"12","key":"20_CR49","doi-asserted-by":"publisher","first-page":"5393","DOI":"10.1073\/pnas.0909380107","volume":"107","author":"D Soloveichik","year":"2010","unstructured":"Soloveichik, D., Seelig, G., Winfree, E.: DNA as a universal substrate for chemical kinetics. Proc. Natl. Acad. Sci. U. S. A. 107(12), 5393\u20135398 (2010)","journal-title":"Proc. Natl. Acad. Sci. U. S. A."},{"key":"20_CR50","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-319-40229-1_16","volume-title":"Automated Reasoning","author":"VX Tung","year":"2016","unstructured":"Tung, V.X., Van Khanh, T., Ogawa, M.: raSAT: an SMT solver for polynomial constraints. In: Olivetti, N., Tiwari, A. (eds.) IJCAR 2016. LNCS (LNAI), vol. 9706, pp. 228\u2013237. Springer, Cham (2016). doi:10.1007\/978-3-319-40229-1_16"},{"key":"20_CR51","unstructured":"Van Kampen, N.G.: Stochastic Processes in Physics and Chemistry, Elsevier, vol. 1 (1992)"},{"issue":"8","key":"20_CR52","doi-asserted-by":"publisher","first-page":"600","DOI":"10.1021\/sb400169s","volume":"3","author":"B Yordanov","year":"2014","unstructured":"Yordanov, B., Kim, J., Petersen, R.L., Shudy, A., Kulkarni, V.V., Phillips, A.: Computational design of nucleic acid feedback control circuits. ACS Synth. Biol. 3(8), 600\u2013616 (2014)","journal-title":"ACS Synth. Biol."},{"key":"20_CR53","first-page":"011","volume":"6","author":"C Zimmer","year":"2012","unstructured":"Zimmer, C., Sahle, S.: Parameter estimation for stochastic models of biochemical reactions. J. Comput. Sci. Syst. Biol. 6, 011\u2013021 (2012)","journal-title":"J. Comput. Sci. Syst. Biol."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-63390-9_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T21:09:51Z","timestamp":1750540191000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-63390-9_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319633893","9783319633909"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-63390-9_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"13 July 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CAV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Aided Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Heidelberg","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 July 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 July 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cav2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/cavconference.org\/2017\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}