{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T06:14:33Z","timestamp":1742969673807,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642288388"},{"type":"electronic","value":"9783642288395"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28839-5_30","type":"book-chapter","created":{"date-parts":[[2012,3,5]],"date-time":"2012-03-05T22:33:40Z","timestamp":1330986820000},"page":"259-267","source":"Crossref","is-referenced-by-count":6,"title":["Efficient Verification for Logical Models of Regulatory Networks"],"prefix":"10.1007","author":[{"given":"Pedro T.","family":"Monteiro","sequence":"first","affiliation":[]},{"given":"Claudine","family":"Chaouiya","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","doi-asserted-by":"crossref","first-page":"i19","DOI":"10.1093\/bioinformatics\/bti1048","volume":"21","author":"G. Batt","year":"2005","unstructured":"Batt, G., Ropers, D., de Jong, H., Geiselmann, J., Mateescu, R., Page, M., Schneider, D.: Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in Escherichia coli. Bioinformatics\u00a021 (suppl.), i19\u2013i28 (2005)","journal-title":"Bioinformatics"},{"issue":"3","key":"30_CR2","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/j.jtbi.2004.04.003","volume":"229","author":"G. Bernot","year":"2004","unstructured":"Bernot, G., Comet, J., Richard, A., Guespin, J.: Application of formal methods to biological regulatory networks: Extending Thomas\u2019 asynchronous logical approach with temporal logic. J. Theor. Biol.\u00a0229(3), 339\u2013348 (2004)","journal-title":"J. Theor. Biol."},{"key":"30_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 359\u2013364. Springer, Heidelberg (2002)"},{"issue":"14","key":"30_CR4","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1093\/bioinformatics\/btl210","volume":"22","author":"A. Faur\u00e9","year":"2006","unstructured":"Faur\u00e9, A., Naldi, A., Chaouiya, C., Thieffry, D.: Dynamical analysis of a generic boolean model for the control of the mammalian cell cycle. Bioinformatics\u00a022(14), 124\u2013131 (2006)","journal-title":"Bioinformatics"},{"key":"30_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/3-540-48294-6_22","volume-title":"Static Analysis","author":"M. M\u00fcller-Olm","year":"1999","unstructured":"M\u00fcller-Olm, M., Schmidt, D., Steffen, B.: Model-checking: A Tutorial Introduction. In: Cortesi, A., Fil\u00e9, G. (eds.) SAS 1999. LNCS, vol.\u00a01694, pp. 330\u2013354. Springer, Heidelberg (1999)"},{"issue":"2","key":"30_CR6","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1016\/j.biosystems.2009.04.008","volume":"97","author":"A. Naldi","year":"2009","unstructured":"Naldi, A., Berenguier, D., Faur\u00e9, A., Lopez, F., Thieffry, D., Chaouiya, C.: Logical modelling of regulatory networks with GINsim 2.3. Biosystems\u00a097(2), 134\u2013139 (2009)","journal-title":"Biosystems"},{"key":"30_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-540-74128-2_8","volume-title":"Model Checking and Artificial Intelligence","author":"C. Pecheur","year":"2007","unstructured":"Pecheur, C., Raimondi, F.: Symbolic Model Checking of Logics with Actions. In: Edelkamp, S., Lomuscio, A. (eds.) MoChArt IV. LNCS (LNAI), vol.\u00a04428, pp. 113\u2013128. Springer, Heidelberg (2007)"},{"issue":"8","key":"30_CR8","doi-asserted-by":"publisher","first-page":"1059","DOI":"10.1387\/ijdb.072439ls","volume":"52","author":"L. S\u00e1nchez","year":"2008","unstructured":"S\u00e1nchez, L., Chaouiya, C., Thieffry, D.: Segmenting the fly embryo: a logical analysis of the segment-polarity cross-regulatory module. Int. J. Dev. Biol.\u00a052(8), 1059\u20131075 (2008)","journal-title":"Int. J. Dev. Biol."},{"issue":"4","key":"30_CR9","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1016\/S0022-5193(03)00201-7","volume":"224","author":"L. S\u00e1nchez","year":"2003","unstructured":"S\u00e1nchez, L., Thieffry, D.: Segmenting the fly embryo: a logical analysis of the pair-rule cross-regulatory module. J. Theor. Biol.\u00a0224(4), 517\u2013537 (2003)","journal-title":"J. Theor. Biol."},{"key":"30_CR10","unstructured":"Thomas, R., D\u2019Ari, R.: Biological Feedback. CRC Press (1990)"}],"container-title":["Advances in Intelligent and Soft Computing","6th International Conference on Practical Applications of Computational Biology & Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28839-5_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,23]],"date-time":"2023-01-23T15:38:33Z","timestamp":1674488313000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-28839-5_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288388","9783642288395"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28839-5_30","relation":{},"ISSN":["1867-5662","1867-5670"],"issn-type":[{"type":"print","value":"1867-5662"},{"type":"electronic","value":"1867-5670"}],"subject":[],"published":{"date-parts":[[2012]]}}}