{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T05:04:44Z","timestamp":1740373484246,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540280088"},{"type":"electronic","value":"9783540318613"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11532323_11","type":"book-chapter","created":{"date-parts":[[2010,7,19]],"date-time":"2010-07-19T18:21:20Z","timestamp":1279563680000},"page":"95-106","source":"Crossref","is-referenced-by-count":1,"title":["Modeling and Property Verification of Lactose Operon Regulation"],"prefix":"10.1007","author":[{"given":"Marcelo Cezar","family":"Pinto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luciana","family":"Foss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Carlos Merino","family":"Mombach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leila","family":"Ribeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","volume-title":"Computational analysis of biochemical systems","author":"E.O. Voit","year":"2000","unstructured":"Voit, E.O.: Computational analysis of biochemical systems. Cambridge University Press, United Kingdom (2000)"},{"issue":"1","key":"11_CR2","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1089\/10665270252833208","volume":"9","author":"H.D. Jong","year":"2002","unstructured":"Jong, H.D.: Modeling and Simulation of Genetic Regulatory Systems: a literature review. Journal of Computational Biology\u00a09(1), 67\u2013103 (2002)","journal-title":"Journal of Computational Biology"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1385\/CBB:38:3:271","volume":"38","author":"M. Antoniotti","year":"2003","unstructured":"Antoniotti, M., Policriti, A., Ugel, N., Mishra, B.: Model Building and Model Checking for Biochemical Processes. Cell Biochem. Biophys.\u00a038, 271\u2013286 (2003)","journal-title":"Cell Biochem. Biophys."},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Reddy, V.N.: Modeling Biochemical Pathways: a discrete event systems approach. Master\u2019s thesis, University of Maryland (1994)","DOI":"10.1021\/bk-1994-0576.ch014"},{"issue":"1","key":"11_CR5","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1093\/bioinformatics\/btg386","volume":"20","author":"N. Lemke","year":"2004","unstructured":"Lemke, N., Her\u00e9dia, F., Barcellos, C.K., Reis, A.N., Mombach, J.C.M.: Essentiality and Damage in Metabolic Networks. Bioinformatics\u00a020(1), 115\u2013119 (2004)","journal-title":"Bioinformatics"},{"key":"11_CR6","volume-title":"Lehninger Principles of Biochemistry","author":"D.L. Nelson","year":"2004","unstructured":"Nelson, D.L., Cox, M.M.: Lehninger Principles of Biochemistry, 4th edn. W. H. Freeman and Co., New York (2004)","edition":"4"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1016\/S0022-2836(61)80072-7","volume":"3","author":"F. Jacob","year":"1961","unstructured":"Jacob, F., Monod, J.: Genetic Regulatory Mechanisms in the Synthesis of Proteins. Journal of Molecular Biology\u00a03, 318\u2013389 (1961)","journal-title":"Journal of Molecular Biology"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Regev, A., Silverman, W., Shapiro, E.: Representation and Simulation of Biochemical Processes using the \u03c0-Calculus Process Algebra. In: Pacific Symposium on Biocomputing, vol.\u00a06, pp. 459\u2013470 (2001)","DOI":"10.1142\/9789814447362_0045"},{"key":"11_CR9","first-page":"469","volume":"13","author":"G. Ciobanu","year":"2002","unstructured":"Ciobanu, G., Ciubotariu, V., Tanas\u0103, B.: A \u03c0-Calculus Model of the Na Pump. Genome Informatics\u00a013, 469\u2013471 (2002)","journal-title":"Genome Informatics"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"2841","DOI":"10.1016\/S0006-3495(03)70013-7","volume":"84","author":"N. Yildirim","year":"2003","unstructured":"Yildirim, N., Mackey, M.C.: Feedback Regulation in the Lactose Operon: a mathematical modeling study and comparison with experimental data. Biophysical Journal\u00a084, 2841\u20132851 (2003)","journal-title":"Biophysical Journal"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.tcs.2004.03.063","volume":"325","author":"N. Chabrier-Rivier","year":"2004","unstructured":"Chabrier-Rivier, N., Chiaverini, M., Danos, V., Fages, F., Sch\u00e4chter, V.: Modeling and Querying Biomolecular Interaction Networks. Theoretical Computer Science\u00a0325, 25\u201344 (2004)","journal-title":"Theoretical Computer Science"},{"key":"11_CR12","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, New York (1989)"},{"key":"11_CR13","volume-title":"Genes VIII","author":"B. Lewin","year":"2004","unstructured":"Lewin, B.: Genes VIII. Pearson Prentice Hall, USA (2004)"},{"key":"11_CR14","unstructured":"The CWB-NC website, http:\/\/www.cs.sunysb.edu\/~cwb\/"},{"issue":"2","key":"11_CR15","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems\u00a08(2), 244\u2013263 (1986)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"11_CR16","unstructured":"The MONET website, http:\/\/www.inf.unisinos.br\/~lbbc\/monet"}],"container-title":["Lecture Notes in Computer Science","Advances in Bioinformatics and Computational Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11532323_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T04:04:12Z","timestamp":1740283452000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11532323_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540280088","9783540318613"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11532323_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}