{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:23:47Z","timestamp":1752229427593},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540213147"},{"type":"electronic","value":"9783540247326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24732-6_12","type":"book-chapter","created":{"date-parts":[[2010,7,28]],"date-time":"2010-07-28T00:14:47Z","timestamp":1280276087000},"page":"158-163","source":"Crossref","is-referenced-by-count":13,"title":["Model Checking Genetic Regulatory Networks Using GNA and CADP"],"prefix":"10.1007","author":[{"given":"Gr\u00e9gory","family":"Batt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Damien","family":"Bergamini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hidde","family":"de Jong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hubert","family":"Garavel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radu","family":"Mateescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","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":"Alur, R., Belta, C., Ivan\u010d\u00edc, F., Kumar, V., Mintz, M., Pappas, G.J., Rubin, H., Schlug, J.: Hybrid modeling and simulation of biomolecular networks. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 19\u201332. Springer, Heidelberg (2001)"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/3-540-36481-1_6","volume-title":"Computational Methods in Systems Biology","author":"M. Antoniotti","year":"2003","unstructured":"Antoniotti, M., Mishra, B., Piazza, C., Policriti, A., Simeoni, M.: Modeling cellular behavior with hybrid automata: bisimulation and collapsing. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 57\u201374. Springer, Heidelberg (2003)"},{"key":"12_CR3","unstructured":"Batt, G., de Jong, H., Geiselmann, J., Page, M.: Analysis of genetic regulatory networks: A model-checking approach. In: Salles, P., Bredeweg, B. (eds.) Proc. 17th Int. Work. Qualitative Reasoning (QR 2003), Brasilia, Brazil, pp. 31\u201338 (2003)"},{"key":"12_CR4","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 checking of biochemical networks. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 149\u2013162. Springer, Heidelberg (2003)"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"de Jong, H., Geiselmann, J., Batt, G., Hernandez, C., Page, M.: Qualitative simulation of the initiation of sporulation. In: B. subtilis. Bull. Math. Biol. (2004) (in press)","DOI":"10.1016\/j.bulm.2003.08.009"},{"issue":"3","key":"12_CR6","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1093\/bioinformatics\/btf851","volume":"19","author":"H. Jong de","year":"2003","unstructured":"de Jong, H., Geiselmann, J., Hernandez, C., Page, M.: Genetic Network Analyzer: Qualitative simulation of genetic regulatory networks. Bioinformatics\u00a019(3), 336\u2013344 (2003), \n                    \n                      http:\/\/www-helix.inrialpes.fr\/gna","journal-title":"Bioinformatics"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"de Jong, H., Gouz\u00e9, J.-L., Hernandez, C., Page, M., Sari, T., Geiselmann, J.: Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bull. Math. Biol. (2004) (in press)","DOI":"10.1016\/j.bulm.2003.08.010"},{"key":"12_CR8","first-page":"13","volume":"4","author":"H. Garavel","year":"2002","unstructured":"Garavel, H., Lang, F., Mateescu, R.: An overview of CADP 2001. Europ. Assoc. for Soft. Sci. and Tech (EASST) Newsletter\u00a04, 13\u201324 (2002); Also INRIA Technical Report RT-0254 (2001), \n                    \n                      http:\/\/www.inrialpes.fr\/vasy\/cadp","journal-title":"Europ. Assoc. for Soft. Sci. and Tech. (EASST) Newsletter"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/3-540-36580-X_19","volume-title":"Hybrid Systems: Computation and Control","author":"R. Ghosh","year":"2003","unstructured":"Ghosh, R., Tiwari, A., Tomlin, C.: Automated symbolic reachability analysis; with application to delta-notch signaling automata. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.\u00a02623, pp. 233\u2013248. Springer, Heidelberg (2003)"},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0022-5193(73)90208-7","volume":"39","author":"L. Glass","year":"1973","unstructured":"Glass, L., Kauffman, S.A.: The logical analysis of continuous non-linear bio-chemical control networks. J. Theor. Biol.\u00a039, 103\u2013129 (1973)","journal-title":"J. Theor. Biol."},{"issue":"1","key":"12_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1063\/1.1338126","volume":"11","author":"K.W. Kohn","year":"2001","unstructured":"Kohn, K.W.: Molecular interaction maps as information organizers and simulation guides. Chaos\u00a011(1), 1\u201314 (2001)","journal-title":"Chaos"},{"issue":"3","key":"12_CR12","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/S0167-6423(02)00094-1","volume":"46","author":"R. Mateescu","year":"2003","unstructured":"Mateescu, R., Sighireanu, M.: Efficient on-the-fly model-checking for regular alternation-free mu-calculus. Sci. Comput. Program.\u00a046(3), 255\u2013281 (2003)","journal-title":"Sci. Comput. Program."},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/3-540-36481-1_5","volume-title":"First Int. Work. Comput. Meth. Systems Biol. (CMSB 2003)","author":"S. Peres","year":"2003","unstructured":"Peres, S., Comet, J.P.: Contribution of computational tree logic to biological regulatory networks: Example from P. aeruginosa. In: Priami, C. (ed.) First Int. Work. Comput. Meth. Systems Biol (CMSB 2003). LNCS, vol.\u00a02602, pp. 47\u201356. Springer, Heidelberg (2003)"},{"issue":"1-2","key":"12_CR14","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/S0004-3702(96)00050-1","volume":"92","author":"B. Shults","year":"1997","unstructured":"Shults, B., Kuipers, B.J.: Proving properties of continuous systems: Qualitative simulation and temporal logic. Artif. Intell.\u00a092(1-2), 91\u2013130 (1997)","journal-title":"Artif. Intell."}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24732-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T12:47:38Z","timestamp":1552826858000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24732-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213147","9783540247326"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24732-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}