{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,6]],"date-time":"2026-01-06T04:52:03Z","timestamp":1767675123161},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540461661"},{"type":"electronic","value":"9783540461678"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11885191_12","type":"book-chapter","created":{"date-parts":[[2006,10,9]],"date-time":"2006-10-09T10:53:49Z","timestamp":1160391229000},"page":"169-183","source":"Crossref","is-referenced-by-count":19,"title":["Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks"],"prefix":"10.1007","author":[{"given":"Heike","family":"Siebert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Bockmayr","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":"8","DOI":"10.1007\/3-540-48683-6_3","volume-title":"Computer Aided Verification","author":"R. Alur","year":"1999","unstructured":"Alur, R.: Timed Automata. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 8\u201322. Springer, Heidelberg (1999)"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T., Lafferriere, G., Pappas, G.: Discrete abstractions of hybrid systems. Proceedings of the IEEE (2000)","DOI":"10.1109\/5.871304"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-27755-2_3","volume-title":"Lectures on Concurrency and Petri Nets","author":"J. Bengtsson","year":"2004","unstructured":"Bengtsson, J., Yi, W.: Timed Automata: Semantics, Algorithms and Tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol.\u00a03098, pp. 87\u2013124. Springer, Heidelberg (2004)"},{"key":"12_CR4","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.-P., Richard, A., Guespin, J.: Application of formal methods to biological regulatory networks: extending Thomas asynchronous logical approach with temporal logic. J. Theor. Biol.\u00a0229, 339\u2013347 (2004)","journal-title":"J. Theor. Biol."},{"key":"12_CR5","doi-asserted-by":"crossref","first-page":"973","DOI":"10.1007\/BF02460695","volume":"55","author":"E.H. Snoussi","year":"1993","unstructured":"Snoussi, E.H.: Logical identification of all steady states: the concept of feedback loop characteristic states. Bull. Math. Biol.\u00a055, 973\u2013991 (1993)","journal-title":"Bull. Math. Biol."},{"key":"12_CR6","first-page":"277","volume":"57","author":"D. Thieffry","year":"1995","unstructured":"Thieffry, D., Thomas, R.: Dynamical behaviour of biological regulatory networks - II. Immunity control in bacteriophage lambda. Bull. Math. Biol.\u00a057, 277\u2013297 (1995)","journal-title":"Bull. Math. Biol."},{"key":"12_CR7","volume-title":"Biological Feedback","author":"R. Thomas","year":"1990","unstructured":"Thomas, R., d\u2019Ari, R.: Biological Feedback. CRC Press, Boca Raton (1990)"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1063\/1.1349893","volume":"11","author":"R. Thomas","year":"2001","unstructured":"Thomas, R., Kaufman, M.: Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits. Chaos\u00a011, 180\u2013195 (2001)","journal-title":"Chaos"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11885191_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T14:35:04Z","timestamp":1558276504000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11885191_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540461661","9783540461678"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/11885191_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}