{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T06:01:47Z","timestamp":1774504907362,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540332459","type":"print"},{"value":"9783540332480","type":"electronic"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11732488_6","type":"book-chapter","created":{"date-parts":[[2006,3,8]],"date-time":"2006-03-08T03:37:37Z","timestamp":1141789057000},"page":"68-70","source":"Crossref","is-referenced-by-count":9,"title":["From Syntax to Semantics in Systems Biology Towards Automated Reasoning Tools"],"prefix":"10.1007","author":[{"given":"Fran\u00e7ois","family":"Fages","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","volume-title":"Modeling dynamic phenomena in molecular and cellular biology","author":"L.A. Segel","year":"1984","unstructured":"Segel, L.A.: Modeling dynamic phenomena in molecular and cellular biology. Cambridge University Press, Cambridge (1984)"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"3841","DOI":"10.1091\/mbc.E03-11-0794","volume":"15","author":"K.C. Chen","year":"2005","unstructured":"Chen, K.C., Calzone, L., Csik\u00e1sz-Nagy, A., Cross, F.R., Gy\u00f6rffy, B., Val, J., Nov\u00e1k, B., Tyson, J.J.: Integrative analysis of cell cycle control in budding yeast. Molecular Biology of the Cell\u00a015, 3841\u20133862 (2005)","journal-title":"Molecular Biology of the Cell"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1093\/nar\/28.1.27","volume":"28","author":"M. Kanehisa","year":"2000","unstructured":"Kanehisa, M., Goto, S.: KEGG: Kyoto encyclopedia of genes and genomes. Nucleic Acids Research\u00a028, 27\u201330 (2000)","journal-title":"Nucleic Acids Research"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1093\/nar\/gki108","volume":"33","author":"I.M. Keseler","year":"2005","unstructured":"Keseler, I.M., Collado-Vides, J., Gama-Castro, S., Ingraham, J., Paley, S., Paulsen, I.T., Peralta-Gil, M., Karp, P.D.: EcoCyc: a comprehensive database resource for escherichia coli. Nucleic Acids Research\u00a033, 334\u2013337 (2005)","journal-title":"Nucleic Acids Research"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","volume":"19","author":"M. Hucka","year":"2003","unstructured":"Hucka, M., et al.: The systems biology markup language (SBML): A medium for representation and exchange of biochemical network models. Bioinformatics\u00a019, 524\u2013531 (2003)","journal-title":"Bioinformatics"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"64","DOI":"10.4024\/2040402.jbpc.04.02","volume":"4","author":"F. Fages","year":"2004","unstructured":"Fages, F., Soliman, S., Chabrier-Rivier, N.: Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. Journal of Biological Physics and Chemistry\u00a04, 64\u201373 (2004)","journal-title":"Journal of Biological Physics and Chemistry"},{"key":"6_CR7","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-540-25974-9_14","volume-title":"Computational Methods in Systems Biology","author":"N. Chabrier-Rivier","year":"2005","unstructured":"Chabrier-Rivier, N., Fages, F., Soliman, S.: The biochemical abstract machine BIOCHAM. In: Danos, V., Sch\u00e4chter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.\u00a03082, pp. 172\u2013191. Springer, Heidelberg (2005)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/3-540-36481-1_13","volume-title":"Computational Methods in Systems Biology","author":"N. Chabrier","year":"2003","unstructured":"Chabrier, N., Fages, F.: Symbolic model cheking of biochemical networks. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 149\u2013162. Springer, Heidelberg (2003)"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Calzone, L., Chabrier-Rivier, N., Fages, F., Gentils, L., Soliman, S.: Machine learning bio-molecular interactions from temporal logic properties. In: Plotkin, G. (ed.) CMSB 2005: Proceedings of the third Workshop on Computational Methods in Systems Biology (2005)","DOI":"10.1007\/11880646_4"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/0021-9991(76)90041-3","volume":"22","author":"D.T. Gillespie","year":"1976","unstructured":"Gillespie, D.T.: General method for numerically simulating stochastic time evolution of coupled chemical-reactions. Journal of Computational Physics\u00a022, 403\u2013434 (1976)","journal-title":"Journal of Computational Physics"},{"key":"6_CR11","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"6_CR12","first-page":"25","volume":"325","author":"N. Chabrier-Rivier","year":"2004","unstructured":"Chabrier-Rivier, N., Chiaverini, M., Danos, V., Fages, F., Sch\u00e4chter, V.: Modeling and querying biochemical interaction networks. Modeling and querying biochemical interaction networks\u00a0325, 25\u201344 (2004)","journal-title":"Modeling and querying biochemical interaction networks"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Systems Biology IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11732488_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T02:53:39Z","timestamp":1555469619000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11732488_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540332459","9783540332480"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11732488_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}