{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:48:25Z","timestamp":1725486505539},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540006053"},{"type":"electronic","value":"9783540364818"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36481-1_5","type":"book-chapter","created":{"date-parts":[[2007,6,16]],"date-time":"2007-06-16T13:17:47Z","timestamp":1181999867000},"page":"47-56","source":"Crossref","is-referenced-by-count":10,"title":["Contribution of Computational Tree Logic to Biological Regulatory Networks: Example from Pseudomonas Aeruginosa"],"prefix":"10.1007","author":[{"given":"Sabine","family":"Peres","sequence":"first","affiliation":[]},{"given":"Comet","family":"Jean-Paul","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"key":"5_CR1","unstructured":"G. Bernot, J. Guespin-Michel, A. Zemirline, J.-P. Comet, F. Delaplace, P. Ballet, and P. Amar. Modelling, observability and experiment: a case study, positive feedback loop in a genetic regulatory network. Research report, LaMI, Univ. Evry, France, 2002. 47"},{"key":"5_CR2","series-title":"Lect Notes Comput Sci","first-page":"52","volume-title":"Design and syntheses of synchronization skeletons using branching time temporal logic","author":"E. M. Clarke","year":"1981","unstructured":"E. M. Clarke and E. A. Emerson. Design and syntheses of synchronization skeletons using branching time temporal logic. In Proc. Logics of Programs Workshop, Yorktown Heights, New York, volume 131 of LNCS, pages 52\u201371. Springer, May 1981. 50"},{"key":"5_CR3","first-page":"995","volume":"B","author":"E. A. Emerson","year":"1990","unstructured":"E. A. Emerson. Handbook of theoretical computer science, Volume B: formal models and semantics, chapter Temporal and modal logic, pages 995\u20131072. MIT Press, 1990. 50","journal-title":"formal models and semantics"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"E. A. Emerson and J. Y. Halpern. Decision procedures and expressiveness in the temporal logic of branching time. In Proceedings of the Fourteenth Annual ACM Symposium on Theory of Computing, San Francisco, California, pages 169-180, 5\u20137 May 1982. 50","DOI":"10.1145\/800070.802190"},{"key":"5_CR5","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1023\/A:1014294120243","volume":"49","author":"J. Guespin-Michel","year":"2001","unstructured":"J. Guespin-Michel and M. Kaufman. Positive feedback circuits and adaptive regulation in bacteria. Acta Biotheoretica, 49, 2001. 48, 51, 55","journal-title":"Acta Biotheoretica"},{"key":"5_CR6","unstructured":"M. Huth and M. Ryan. Logic in Computer Science: Modelling and reasoning about systems. Cambridge University Press, 2000. 47, 50, 55"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"E. H. Snoussi and R. Thomas. Logical identification of all steady states: the concept of feedback loop characteristic states. Bulletin of Mathematical Biology, 1993. 48, 49","DOI":"10.1016\/S0092-8240(05)80199-5"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"R. Thomas and M. Kaufman. Multistationarity, the basis of cell differentiation and memory. i structural conditions of multistationarity and other nontrivial behavior. Chaos, 2001. 51","DOI":"10.1063\/1.1350439"},{"issue":"2","key":"5_CR9","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/BF02460618","volume":"57","author":"R. Thomas","year":"1995","unstructured":"R. Thomas and D. Thieffry. Dynamical behaviours of regulatory networks-II. immunity control in bact\u00e9riophage lambda. Bulletin of Mathematical Biology, 57(2):277\u2013297, 1995. 48, 49, 51","journal-title":"Bulletin of Mathematical Biology"},{"issue":"2","key":"5_CR10","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BF02460618","volume":"57","author":"R. Thomas","year":"1995","unstructured":"R. Thomas, D. Thieffry, and M. Kaufman. Dynamical behaviours of regulatory networks-I. biological role of feedback loops and pratical use of the concept of feedback loop. Bulletin of Mathematical Biology, 57(2):247\u2013276, 1995. 48, 51","journal-title":"Bulletin of Mathematical Biology"},{"issue":"7\/8","key":"5_CR11","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1093\/bioinformatics\/15.7.593","volume":"15","author":"L. Mendoza","year":"1999","unstructured":"L. Mendoza, D. Thieffry, and E. R. Alvarez-Buylla. Genetic control of flower morphogenesis in arabidopsis thaliana: a logical analysis. Bioinformatics, 15(7\/8):593\u2013606, 1999. 50","journal-title":"Bioinformatics"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1006\/jtbi.2001.2335","volume":"211","author":"L. Sanchez","year":"2001","unstructured":"L. Sanchez and D. Thieffry. A logical analysis of the drosophila gap-gene system. J. Theor. Biol., 211:115\u2013141, 2001. 50","journal-title":"J. Theor. Biol."}],"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_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T05:08:32Z","timestamp":1550380112000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36481-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540006053","9783540364818"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-36481-1_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}