{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T17:50:19Z","timestamp":1775325019704,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540006053","type":"print"},{"value":"9783540364818","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36481-1_13","type":"book-chapter","created":{"date-parts":[[2007,6,16]],"date-time":"2007-06-16T17:17:47Z","timestamp":1182014267000},"page":"149-162","source":"Crossref","is-referenced-by-count":78,"title":["Symbolic Model Checking of Biochemical Networks"],"prefix":"10.1007","author":[{"given":"Nathalie","family":"Chabrier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Fages","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"key":"13_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-45351-2_6","volume-title":"Hybrid Systems: Computation and Control","author":"R. Alur","year":"2001","unstructured":"R. Alur, C. Belta, F. Ivancic, V. Kumar, M. Mintz, G. J. Pappas, H. Rubin, and J. Schug. Hybrid modeling and simulation of biomolecular networks. In Springer, editor, Hybrid Systems: Computation and Control, LNCS 2034, pages 19\u201332, Rome, Italy, 2001. 150"},{"key":"13_CR2","unstructured":"E. Asarin, T. Dang, and O. Maler. d\/dt: A verification tool for hybrid systems. In Invited session \u201cNew Developments inVerification Tools for Hybrid Systems\u201d, in Proceedings of the Conference on Decision and Control, Florida, USA, July 2001. 160"},{"issue":"15","key":"13_CR3","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1093\/bioinformatics\/15.3.234","volume":"3","author":"R. Backofen","year":"1999","unstructured":"R. Backofen, S. Will, and E. Bornberg-Bauer. Application of constraint programming techniques for structure prediction of lattice proteins with extended alphabets. Bioinformatics, 3(15):234\u2013242, 1999. 160","journal-title":"Bioinformatics"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"A. Bockmayr and A. Courtois. Using hybrid concurrent constraint programming to model dynamic biological systems. In Springer, editor, 18th International Conference on Logic Programming, pages 85\u201399, Copenhagen, 2002. 150, 157","DOI":"10.1007\/3-540-45619-8_7"},{"key":"13_CR5","unstructured":"M. Bozzano, G. Delzanno, and M. Martelli. Model checking linear logic specifications. Technical report, Technical report,University di Genova, March 2002. 160"},{"key":"13_CR6","unstructured":"M. Chiaverini and V. Danos. A core modeling language for the working molecular biologist. Technical report, CNRS, PPS, Paris 7, November 2002. 150, 155"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"A. Cimatti, E. M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella. Nusmv 2: An opensource tool for symbolic model checking. In In Proceeding of International Conference on Computer-Aided Veri-fication, CAV\u20192002, Copenhagen, Danmark, July 2002. 158","DOI":"10.1007\/3-540-45657-0_29"},{"key":"13_CR8","unstructured":"E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999. 152, 158"},{"issue":"1","key":"13_CR9","first-page":"69","volume":"9","author":"H. Jong de","year":"2001","unstructured":"H. de Jong. Modeling and simulation of genetic regulatory systems: A literature review. Journal of Computational Biology, 9(1):69\u2013105, 2001. 151","journal-title":"Journal of Computational Biology"},{"key":"13_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/3-540-49059-0_16","volume-title":"Model checking in clp","author":"G. Delzanno","year":"1999","unstructured":"G. Delzanno and A. Podelski. Model checking in clp. In Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems TACAS\u201999, volume 1579 of LNCS, pages 223\u2013239. Springer-Verlag, January 1999. 154, 158"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"G. Delzanno and A. Podelski. DMC user guide, 2000. 158, 159","DOI":"10.2307\/3981242"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"S. Eker, M. Knapp, K. Laderoute, P. Lincoln, J. Meseguer, and K. Sonmez. Pathway logic: Symbolic analysis of biological signaling. In the Pacific Symposium on Biocomputing, pages 400\u2013412, January 2002. 160","DOI":"10.1142\/9789812799623_0038"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"E.A. Emerson. Temporal and Modal Logic, pages 995\u20131072. J. van Leeuwen Ed., North-Holland Pub. Co.\/MIT Press, 1990. 152, 153, 154","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"13_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/3-540-45351-2_21","volume-title":"Hybrid Systems: Computation and Control","author":"R. Ghosh","year":"2001","unstructured":"R. Ghosh and C. Tomlin. Lateral inhibition through delta-notch signaling: A piecewise affine hybrid model. In Springer, editor, Hybrid Systems: Computation and Control, LNCS 2034, pages 232\u2013246, Rome, Italy, 2001. 150"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"T. Henzinger, J. Preusig, and H. Wong-Toi. Some lessons from the hytech experience. In Proceedings of the 40th Annual IEEE Conference on Decision and Control, CDC\u20192001, 2001. 160","DOI":"10.1109\/CDC.2001.980714"},{"key":"13_CR16","first-page":"39","volume":"1","author":"R. Hofest\u00e4dt","year":"1998","unstructured":"R. Hofest\u00e4dt and S. Thelen. Quantitative modeling of biochemical networks. In In Silico Biology, volume 1, pages 39\u201353. 1998. 150","journal-title":"In Silico Biology"},{"issue":"8","key":"13_CR17","first-page":"703","volume":"10","author":"K.W. Kohn","year":"1999","unstructured":"K.W. Kohn. Molecular interaction map of the mammalian cell cycle control and dna repair systems. Molecular Biology of Cell, 10(8):703\u20132734, August 1999. 150, 155","journal-title":"Molecular Biology of Cell"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"S. Laplante, R. Lassaigne, and F. Magniez. Probabilistic model checking: an approach based on property testing. In Proc. of the 7th annual IEEE symposium on Logic in Computer Science LICS\u201902, Copenhagen, 2002. 160","DOI":"10.1109\/LICS.2002.1029815"},{"key":"13_CR19","first-page":"338","volume":"5","author":"H. Matsuno","year":"2000","unstructured":"H. Matsuno, A. Doi, M. Nagasaki, and S. Miyano. Hybrid petri net representation of gene regulatory network. In Pacific Symposium on Biocomputing (5), pages 338\u2013349, 2000. 150","journal-title":"Pacific Symposium on Biocomputing"},{"key":"13_CR20","unstructured":"D. Monniaux. The analysis of probabilistic programs by abstract interpretation. PhD thesis, Ecole Normale Sup\u00e9rieure, Paris, France, 2001. 160"},{"key":"13_CR21","unstructured":"M. Nagasaki, S. Onami, S. Miyano, and H. Kitano. Bio-calculus: Its concept, and an application for molecular interaction. In Currents in Computational Molecular Biology., volume 30 of Frontiers Science Series. 2000. 149"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"A. Regev, W. Silverman, and E. Shapiro. Representation and simulation of biochemical processes using the pi-calculus process algebra. In Proceedings of the Pacific Symposium of Biocomputing, pages 6:459\u2013470, 2001. 149","DOI":"10.1142\/9789814447362_0045"},{"issue":"25","key":"13_CR23","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/158439.158441","volume":"3","author":"U. A. Shankar","year":"1993","unstructured":"U. A. Shankar. An introduction to assertionnal reasoning for concurrent systems. ACM Computing Surveys, 3(25):225\u2013262, 1993. 155","journal-title":"ACM Computing Surveys"},{"key":"13_CR24","unstructured":"R. Thomas and d\u2019Ari. Biological feedback. CRC press, 1990. 151"},{"key":"13_CR25","unstructured":"A. Tiwari and P. Lincoln. Automated technique for stability analysis of deltanotch lateral inhibition mechanism. Technical report, SRI, Stanford USA, 2002. 159"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36481-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T08:15:56Z","timestamp":1737101756000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36481-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540006053","9783540364818"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-36481-1_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2003]]}}}