{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:49:00Z","timestamp":1725536940503},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642038440"},{"type":"electronic","value":"9783642038457"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-03845-7_21","type":"book-chapter","created":{"date-parts":[[2009,8,26]],"date-time":"2009-08-26T02:41:17Z","timestamp":1251254477000},"page":"313-327","source":"Crossref","is-referenced-by-count":0,"title":["Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models"],"prefix":"10.1007","author":[{"given":"Hayssam","family":"Soueidan","sequence":"first","affiliation":[]},{"given":"Gr\u00e9goire","family":"Sutre","sequence":"additional","affiliation":[]},{"given":"Macha","family":"Nikolski","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Chesneaux, J.: The equality relations in scientific computing. Numerical Algorithms (January 1994)","DOI":"10.1007\/BF02140678"},{"key":"21_CR2","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-540-88562-7_19","volume-title":"Computational Methods in Systems Biology","author":"A. Rizk","year":"2008","unstructured":"Rizk, A., Batt, G., Fages, F., Soliman, S.: On a continuous degree of satisfaction of temporal logic formulae with applications to systems biology. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol.\u00a05307, pp. 251\u2013268. Springer, Heidelberg (2008)"},{"key":"21_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume-title":"Computer Performance Evaluation","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic symbolic model checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, pp. 200\u2013204. Springer, Heidelberg (2002)"},{"issue":"Database Issue","key":"21_CR4","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1093\/nar\/gkj092","volume":"34","author":"N. Novere Le","year":"2006","unstructured":"Le Novere, N., Bornstein, B., Broicher, A., Courtot, M., Donizelli, M., Dharuri, H., Li, L., Sauro, H., Schilstra, M., Shapiro, B., et al.: BioModels Database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems. Nucleic Acids Research\u00a034(Database Issue), D689 (2006)","journal-title":"Nucleic Acids Research"},{"issue":"4","key":"21_CR5","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","volume":"19","author":"M. Hucka","year":"2003","unstructured":"Hucka, M., Finney, A., Sauro, H.M., Bolouri, H., Doyle, J.C., Kitano, H., et al.: The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics\u00a019(4), 524\u2013531 (2003)","journal-title":"Bioinformatics"},{"issue":"16","key":"21_CR6","doi-asserted-by":"publisher","first-page":"2829","DOI":"10.1093\/bioinformatics\/bth271","volume":"20","author":"B. Shapiro","year":"2004","unstructured":"Shapiro, B., Hucka, M., Finney, A., Doyle, J.: Mathsbml: a package for manipulating sbml-based biological models. Bioinformatics\u00a020(16), 2829\u20132831 (2004)","journal-title":"Bioinformatics"},{"issue":"16","key":"21_CR7","doi-asserted-by":"publisher","first-page":"7328","DOI":"10.1073\/pnas.88.16.7328","volume":"88","author":"J. Tyson","year":"1991","unstructured":"Tyson, J.: Modeling the cell division cycle: cdc2 and cyclin interactions. Proceedings of the National Academy of Sciences\u00a088(16), 7328\u20137332 (1991)","journal-title":"Proceedings of the National Academy of Sciences"},{"issue":"6","key":"21_CR8","doi-asserted-by":"publisher","first-page":"1583","DOI":"10.1046\/j.1432-1327.2000.01197.x","volume":"267","author":"B.N. Kholodenko","year":"2000","unstructured":"Kholodenko, B.N.: Negative feedback and ultrasensitivity can bring about oscillations in the mitogen-activated protein kinase cascades. Eur. J. Biochem.\u00a0267(6), 1583\u20131588 (2000)","journal-title":"Eur. J. Biochem."},{"issue":"31","key":"21_CR9","doi-asserted-by":"publisher","first-page":"4571","DOI":"10.1038\/sj.onc.1210230","volume":"26","author":"D. Kim","year":"2007","unstructured":"Kim, D., Rath, O., Kolch, W., Cho, K.: A hidden oncogenic positive feedback loop caused by crosstalk between wnt and erk pathways. Oncogene\u00a026(31), 4571\u20134579 (2007)","journal-title":"Oncogene"}],"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-642-03845-7_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T09:24:44Z","timestamp":1552123484000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03845-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642038440","9783642038457"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03845-7_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}