{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:30:02Z","timestamp":1742913002572,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":52,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642355233"},{"type":"electronic","value":"9783642355240"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35524-0_7","type":"book-chapter","created":{"date-parts":[[2012,11,20]],"date-time":"2012-11-20T01:03:10Z","timestamp":1353373390000},"page":"151-180","source":"Crossref","is-referenced-by-count":2,"title":["Probabilistic Model Checking of the PDGF Signaling Pathway"],"prefix":"10.1007","author":[{"given":"Qixia","family":"Yuan","sequence":"first","affiliation":[]},{"given":"Panuwat","family":"Trairatphisan","sequence":"additional","affiliation":[]},{"given":"Jun","family":"Pang","sequence":"additional","affiliation":[]},{"given":"Sjouke","family":"Mauw","sequence":"additional","affiliation":[]},{"given":"Monique","family":"Wiesinger","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Sauter","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Yuan, Q., Pang, J., Mauw, S., Trairatphisan, P., Wiesinger, M., Sauter, T.: A study of the PDGF signaling pathway with PRISM. In: Proc. 3rd Workshop on Computational Models for Cell Processes. EPTCS, vol.\u00a067, pp. 65\u201381 (2011)","DOI":"10.4204\/EPTCS.67.7"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1038\/419343a","volume":"419","author":"A. Regev","year":"2002","unstructured":"Regev, A., Shapiro, E.: Cellular abstractions: Cells as computation. Nature\u00a0419, 343 (2002)","journal-title":"Nature"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-642-05089-3_2","volume-title":"FM 2009: Formal Methods","author":"N. Bonzanni","year":"2009","unstructured":"Bonzanni, N., Anton Feenstra, K., Fokkink, W., Krepska, E.: What Can Formal Methods Bring to Systems Biology? In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 16\u201322. Springer, Heidelberg (2009)"},{"issue":"11","key":"7_CR4","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1038\/nbt1356","volume":"25","author":"J. Fisher","year":"2007","unstructured":"Fisher, J., Henzinger, T.A.: Executable cell biology. Nature Biotechnology\u00a025(11), 1239\u20131249 (2007)","journal-title":"Nature Biotechnology"},{"issue":"2","key":"7_CR5","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1109\/TCBB.2007.1076","volume":"5","author":"A. Sadot","year":"2008","unstructured":"Sadot, A., Fisher, J., Barak, D., Admanit, Y., Stern, M.J., Jane Albert Hubbard, E., Harel, D.: Toward verified biological models. IEEE\/ACM Transactions on Computational Biology Bioinformatics\u00a05(2), 223\u2013234 (2008)","journal-title":"IEEE\/ACM Transactions on Computational Biology Bioinformatics"},{"issue":"1","key":"7_CR6","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1093\/bfgp\/elp054","volume":"9","author":"J. Fisher","year":"2010","unstructured":"Fisher, J., Piterman, N.: The executable pathway to biological networks. Briefings in Functional Genomics and Proteomics\u00a09(1), 79\u201392 (2010)","journal-title":"Briefings in Functional Genomics and Proteomics"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-540-72522-0_6","volume-title":"Formal Methods for Performance Evaluation","author":"M. Kwiatkowska","year":"2007","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Stochastic Model Checking. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol.\u00a04486, pp. 220\u2013270. Springer, Heidelberg (2007)"},{"key":"7_CR8","unstructured":"Baier, C., Katoen, J.P.: Principles in Model Checking. MIT Press (2008)"},{"issue":"3","key":"7_CR9","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1145\/2166.357214","volume":"5","author":"S. Hart","year":"1983","unstructured":"Hart, S., Sharir, M., Pnueli, A.: Termination of probabilistic concurrent programs. ACM Transactions on Programming Languages and Systems\u00a05(3), 356\u2013380 (1983)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D.: Quantitative Verification Techniques for Biological Processes. In: Algorithmic Bioprocesses, pp. 391\u2013409. Springer (2009)","DOI":"10.1007\/978-3-540-88869-7_20"},{"key":"7_CR11","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D.: Probabilistic Model Checking for Systems Biology. In: Symbolic Systems Biology, pp. 31\u201359. Jones and Bartlett (2010)"},{"issue":"6","key":"7_CR12","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1049\/ip-syb:20050065","volume":"153","author":"B.B. Aldridge","year":"2006","unstructured":"Aldridge, B.B., Haller, G., Sorger, P.K., Lauffenburger, D.A.: Direct lyapunov exponent analysis enables parametric study of transient signalling governing cell behaviour. Systems Biology\u00a0153(6), 425\u2013432 (2006)","journal-title":"Systems Biology"},{"issue":"1","key":"7_CR13","doi-asserted-by":"publisher","first-page":"49","DOI":"10.5483\/BMBRep.2003.36.1.049","volume":"36","author":"J. Yu","year":"2003","unstructured":"Yu, J., Ustach, C., Kim, H.R.: Platelet-derived growth factor signaling and human cancer. Journal of Biochemistry and Molecular Biology\u00a036(1), 49\u201359 (2003)","journal-title":"Journal of Biochemistry and Molecular Biology"},{"issue":"2","key":"7_CR14","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1016\/0092-8674(94)90322-0","volume":"77","author":"T.R. Golub","year":"1994","unstructured":"Golub, T.R., Barker, G.F., Lovett, M., Gilliland, D.G.: Fusion of PDGF receptor beta to a novel ets-like gene, tel, in chronic myelomonocytic leukemia with t(5;12) chromosomal translocation. Cell\u00a077(2), 307\u2013316 (1994)","journal-title":"Cell"},{"issue":"3","key":"7_CR15","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/S0039-6060(96)80120-6","volume":"119","author":"K. Anan","year":"1996","unstructured":"Anan, K., Morisaki, T., Katano, M., Ikubo, A., Kitsuki, H., Uchiyama, A., Kuroki, S., Tanaka, M., Torisu, M.: Vascular endothelial growth factor and platelet-derived growth factor are potential angiogenic and metastatic factors in human breast cancer. Surgery\u00a0119(3), 333\u2013339 (1996)","journal-title":"Surgery"},{"issue":"13","key":"7_CR16","doi-asserted-by":"publisher","first-page":"1201","DOI":"10.1056\/NEJMoa025217","volume":"348","author":"J. Cools","year":"2003","unstructured":"Cools, J., DeAngelo, D.J., Gotlib, J., Stover, E.H., Legare, R.D., Cortes, J., Kutok, J., Clark, J., Galinsky, I., Griffin, J.D., Cross, N.C., Tefferi, A., Malone, J., Alam, R., Schrier, S.L., Schmid, J., Rose, M., Vandenberghe, P., Verhoef, G., Boogaerts, M., Wlodarska, I., Kantarjian, H., Marynen, P., Coutre, S.E., Stone, R., Gilliland, D.G.: A tyrosine kinase created by fusion of the PDGFRA and FIP1L1 genes as a therapeutic target of imatinib in idiopathic hypereosinophilic syndrome. The New England Journal of Medicine\u00a0348(13), 1201\u20131214 (2003)","journal-title":"The New England Journal of Medicine"},{"issue":"2","key":"7_CR17","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1053\/j.semdp.2006.09.001","volume":"23","author":"M. Miettinen","year":"2006","unstructured":"Miettinen, M., Lasota, J.: Gastrointestinal stromal tumors: Pathology and prognosis at different sites. Seminars in Diagnostic Pathology\u00a023(2), 70\u201383 (2006)","journal-title":"Seminars in Diagnostic Pathology"},{"key":"7_CR18","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/11880646_3","volume-title":"Transactions on Computational Systems Biology VI","author":"M. Calder","year":"2006","unstructured":"Calder, M., Vyshemirsky, V., Gilbert, D., Orton, R.: Analysis of Signalling Pathways Using Continuous Time Markov Chains. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol.\u00a04220, pp. 44\u201367. Springer, Heidelberg (2006)"},{"key":"7_CR19","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/1364644.1364651","volume":"35","author":"M.Z. Kwiatkowska","year":"2008","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D.: Using probabilistic model checking in systems biology. SIGMETRICS Performance Evaluation Review\u00a035, 14\u201321 (2008)","journal-title":"SIGMETRICS Performance Evaluation Review"},{"key":"7_CR20","unstructured":"Pronk, T., de Vink, E., Bosnacki, D., Breit, T.: Stochastic modeling of codon bias with PRISM. In: Proc. 3rd Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems, Computer Science Department, University of Cyprus, Nicosia (2007)"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-642-04186-0_4","volume-title":"Transactions on Computational Systems Biology XI","author":"D. Bo\u0161na\u010dki","year":"2009","unstructured":"Bo\u0161na\u010dki, D., Pronk, T.E., de Vink, E.P.: In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition. In: Priami, C., Back, R.-J., Petre, I. (eds.) Transactions on Computational Systems Biology XI. LNCS, vol.\u00a05750, pp. 69\u201389. Springer, Heidelberg (2009)"},{"issue":"3","key":"7_CR22","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/j.tcs.2007.11.013","volume":"319","author":"J. Heath","year":"2008","unstructured":"Heath, J., Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O.: Probabilistic model checking of complex biological pathways. Theoretical Computer Science\u00a0319(3), 239\u2013257 (2008)","journal-title":"Theoretical Computer Science"},{"key":"7_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-3-540-85072-4_2","volume-title":"Artificial Immune Systems","author":"N.D.L. Owens","year":"2008","unstructured":"Owens, N.D.L., Timmis, J., Greensted, A.J., Tyrrell, A.M.: Modelling the Tunability of Early T Cell Signalling Events. In: Bentley, P.J., Lee, D., Jung, S. (eds.) ICARIS 2008. LNCS, vol.\u00a05132, pp. 12\u201323. Springer, Heidelberg (2008)"},{"key":"7_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-642-03845-7_15","volume-title":"Computational Methods in Systems Biology","author":"S.K. Jha","year":"2009","unstructured":"Jha, S.K., Clarke, E.M., Langmead, C.J., Legay, A., Platzer, A., Zuliani, P.: A Bayesian Approach to Model Checking Biological Systems. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol.\u00a05688, pp. 218\u2013234. Springer, Heidelberg (2009)"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Li\u00f2, P., Merelli, E., Paoletti, N.: Multiple verification in computational modeling of bone pathologies. In: Proc. 3rd International Workshop on Computational Models for Cell Processes. EPTCS, vol.\u00a068, pp. 82\u201396 (2011)","DOI":"10.4204\/EPTCS.67.8"},{"issue":"42","key":"7_CR26","doi-asserted-by":"publisher","first-page":"16308","DOI":"10.1073\/pnas.0806447105","volume":"105","author":"R. Zhang","year":"2008","unstructured":"Zhang, R., Shah, M.V., Yang, J., Nyland, S.B., Liu, X., Yun, J.K., Albert, R., Loughran, T.P.: Network model of survival signaling in large granular lymphocyte leukemia. Proceedings of the National Academy of Sciences of the United States of America\u00a0105(42), 16308\u201316313 (2008)","journal-title":"Proceedings of the National Academy of Sciences of the United States of America"},{"key":"7_CR27","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1038\/msb.2009.4","volume":"5","author":"C.C. Wang","year":"2009","unstructured":"Wang, C.C., Cirit, M., Haugh, J.M.: PI3K-dependent cross-talk interactions converge with Ras as quantifiable inputs integrated by Erk. Molecular Systems Biology\u00a05, 246 (2009)","journal-title":"Molecular Systems Biology"},{"issue":"1","key":"7_CR28","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/343369.343402","volume":"1","author":"A. Aziz","year":"2000","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model checking continuous time markov chains. ACM Transactions on Computational Logic\u00a01(1), 162\u2013170 (2000)","journal-title":"ACM Transactions on Computational Logic"},{"issue":"6","key":"7_CR29","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1109\/TSE.2003.1205180","volume":"29","author":"C. Baier","year":"2003","unstructured":"Baier, C., Hermanns, H., Haverkort, B.R., Katoen, J.P.: Model-checking algorithms for continuous-time markov chains. IEEE Transactions on Software Engineering\u00a029(6), 524\u2013541 (2003)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR30","volume-title":"Biochemistry of Signal Transduction and Regulation","author":"G. Krauss","year":"2008","unstructured":"Krauss, G.: Biochemistry of Signal Transduction and Regulation. Wiley-VCH, Weinheim (2008)"},{"issue":"1","key":"7_CR31","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/S0079-6107(02)00046-9","volume":"81","author":"U. Bhalla","year":"2003","unstructured":"Bhalla, U.: Understanding complex signaling networks through models and metaphor. Progress in Biophysics & Molecular Biology\u00a081(1), 45\u201365 (2003)","journal-title":"Progress in Biophysics & Molecular Biology"},{"issue":"3","key":"7_CR32","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/0303-7207(85)90061-9","volume":"39","author":"C.H. Heldin","year":"1985","unstructured":"Heldin, C.H., Westermarkt, B., Wasteson, A.: Platelet-derived growth factor. Molecular and Celluar Endocrinology\u00a039(3), 169\u2013187 (1985)","journal-title":"Molecular and Celluar Endocrinology"},{"issue":"4","key":"7_CR33","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/j.cytogfr.2004.03.003","volume":"15","author":"M. Tallquist","year":"2004","unstructured":"Tallquist, M., Kazlauskas, A.: PDGF signaling in cells and mice. Cytokine & Growth Factor Review\u00a015(4), 205\u2013213 (2004)","journal-title":"Cytokine & Growth Factor Review"},{"issue":"10","key":"7_CR34","doi-asserted-by":"publisher","first-page":"1229","DOI":"10.1038\/sj.onc.1201641","volume":"16","author":"K. Yokote","year":"1998","unstructured":"Yokote, K., Hellman, U., Ekman, S., Saito, Y., Roennstrand, L., Saito, Y., Heldin, C.H., Mori, S.: Identification of Tyr-762 in the platelet-derived growth factor alpha-receptor as the binding site for Crk proteins. Oncogene\u00a016(10), 1229\u20131239 (1998)","journal-title":"Oncogene"},{"issue":"3","key":"7_CR35","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1016\/j.cellsig.2009.11.008","volume":"22","author":"A. Guti\u00e9rrez-Uzquiza","year":"2010","unstructured":"Guti\u00e9rrez-Uzquiza, A., Arechederra, M., Molina, I., Banos, R., Maia, V., Benito, M., Guerrero, C., Porras, A.: C3G down-regulates p38 MAPK activity in response to stress by Rap-1 independent mechanisms: involvement in cell death. Cellualar Signalling\u00a022(3), 533\u2013542 (2010)","journal-title":"Cellualar Signalling"},{"issue":"4","key":"7_CR36","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1038\/sj.onc.1201555","volume":"16","author":"S. Valgeirsd\u00f3ttir","year":"1998","unstructured":"Valgeirsd\u00f3ttir, S., Paukku, K., Silvennoinen, O., Heldin, C.H., Claesson-Welsh, L.: Activation of Stat5 by platelet-derived growth factor (PDGF) is dependent on phosphorylation sites in PDGF beta-receptor juxtamembrane and kinase insert domains. Oncogene\u00a016(4), 505\u2013515 (1998)","journal-title":"Oncogene"},{"issue":"5438","key":"7_CR37","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1126\/science.286.5438.309","volume":"286","author":"C.A. Joazeiro","year":"1999","unstructured":"Joazeiro, C.A., Wing, S.S., Huang, H., Leverson, J.D., Hunter, T., Liu, Y.C.: The tyrosine kinase negative regulator c-Cbl as a RING-type, E2-dependent ubiquitin-protein ligase. Science\u00a0286(5438), 309\u2013312 (1999)","journal-title":"Science"},{"issue":"5","key":"7_CR38","doi-asserted-by":"publisher","first-page":"646","DOI":"10.1016\/j.cell.2011.02.013","volume":"144","author":"D. Hanahan","year":"2011","unstructured":"Hanahan, D., Weinberg, R.A.: Hallmarks of cancer: The next generation. Cell\u00a0144(5), 646\u2013674 (2011)","journal-title":"Cell"},{"issue":"2","key":"7_CR39","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1083\/jcb.127.2.479","volume":"127","author":"J. Yu","year":"1994","unstructured":"Yu, J., Gutkind, J.S., Mahadevan, D., Li, W., Meyers, K.A., Pierce, J.H., Heidaran, M.A.: Biological function of PDGF-induced PI-3 kinase activity: its role in alpha PDGF receptor-mediated mitogenic signaling. Journal of Cell Biology\u00a0127(2), 479\u2013487 (1994)","journal-title":"Journal of Cell Biology"},{"issue":"12","key":"7_CR40","doi-asserted-by":"crossref","first-page":"6926","DOI":"10.1128\/MCB.16.12.6926","volume":"16","author":"C.E. Bazenet","year":"1996","unstructured":"Bazenet, C.E., Gelderloos, J.A., Kazlauskas, A.: Phosphorylation of tyrosine 720 in the platelet-derived growth factor alpha receptor is required for binding of Grb2 and SHP-2 but not for activation of Ras or cell proliferation. Molecular and Cellular Biology\u00a016(12), 6926\u20136936 (1996)","journal-title":"Molecular and Cellular Biology"},{"issue":"40","key":"7_CR41","doi-asserted-by":"publisher","first-page":"29336","DOI":"10.1074\/jbc.M701797200","volume":"282","author":"A.L. Reddi","year":"2007","unstructured":"Reddi, A.L., Ying, G., Duan, L., Chen, G., Dimri, M., Douillard, P., Druker, B.J., Naramura, M., Band, V., Band, H.: Binding of Cbl to a phospholipase Cgamma1-docking site on platelet-derived growth factor receptor beta provides a dual mechanism of negative regulation. Journal of Biological Chemistry\u00a0282(40), 29336\u2013293347 (2007)","journal-title":"Journal of Biological Chemistry"},{"issue":"25","key":"7_CR42","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry\u00a081(25), 2340\u20132361 (1977)","journal-title":"Journal of Physical Chemistry"},{"key":"7_CR43","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1186\/1752-0509-3-71","volume":"3","author":"J. Witt","year":"2009","unstructured":"Witt, J., Barisic, S., Schumann, E., Allg\u00f6wer, F., Sawodny, O., Sauter, T., Kulms, D.: Mechanism of PP2A-mediated IKK\u03b2 dephosphorylation: a systems biological approach. BMC Systems Biology\u00a03, 71 (2009)","journal-title":"BMC Systems Biology"},{"issue":"4","key":"7_CR44","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1093\/bioinformatics\/bti799","volume":"22","author":"H. Schmidt","year":"2006","unstructured":"Schmidt, H., Jirstrand, M.: Systems Biology Toolbox for MATLAB: a computational platform for research in systems biology. Bioinformatics\u00a022(4), 514\u2013515 (2006)","journal-title":"Bioinformatics"},{"issue":"1","key":"7_CR45","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1080\/00401706.1999.10485594","volume":"41","author":"A. Saltelli","year":"1999","unstructured":"Saltelli, A., Tarantola, S., Chan, K.P.S.: A quantitative model-independent method for global sensitivity analysis of model output. Technometrics\u00a041(1), 39\u201356 (1999)","journal-title":"Technometrics"},{"issue":"pt. 1","key":"7_CR46","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1042\/0264-6021:3510095","volume":"351","author":"S. Davies","year":"2000","unstructured":"Davies, S., Reddy, H., Caivano, M., Cohen, P.: Specificity and mechanism of action of some commonly used protein kinase inhibitors. Biochemical Journal\u00a0351(pt. 1), 95\u2013105 (2000)","journal-title":"Biochemical Journal"},{"key":"7_CR47","doi-asserted-by":"crossref","unstructured":"Stewart, W.J.: Introduction to the Numerical Solution of Markov Chains. Princeton University Press (1994)","DOI":"10.1515\/9780691223384"},{"key":"7_CR48","unstructured":"Tenenbaum, M., Pollard, H.: Ordinary Differential Equations: An Elementary Textbook for Students of Mathematics, Engineering, and the Science. Harper & Row (1985)"},{"key":"7_CR49","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D., Tymchyshyn, O., Heath, J., Gaffney, E.: Simulation and verification for computational modelling of signalling pathways. In: Proc. 38th Winter Simulation Conference, pp. 1666\u20131674 (2006)","DOI":"10.1109\/WSC.2006.322941"},{"key":"7_CR50","doi-asserted-by":"crossref","unstructured":"Han, T., Katoen, J.P., Mereacre, A.: Approximate parameter synthesis for probabilistic time-bounded reachability. In: Proc. 29 IEEE Real-Time Systems Symposium, pp. 173\u2013182. IEEE Computer Society (2008)","DOI":"10.1109\/RTSS.2008.19"},{"key":"7_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-642-02652-2_10","volume-title":"Model Checking Software","author":"E.M. Hahn","year":"2009","unstructured":"Hahn, E.M., Hermanns, H., Zhang, L.: Probabilistic Reachability for Parametric Markov Models. In: P\u0103s\u0103reanu, C.S. (ed.) CAV 2011. LNCS, vol.\u00a05578, pp. 88\u2013106. Springer, Heidelberg (2009)"},{"key":"7_CR52","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.\u00a06806, pp. 83\u201398. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Systems Biology XIV"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35524-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,30]],"date-time":"2023-01-30T19:54:01Z","timestamp":1675108441000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-35524-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642355233","9783642355240"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35524-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}