{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:31:06Z","timestamp":1750307466502,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,9,29]],"date-time":"2010-09-29T00:00:00Z","timestamp":1285718400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,9,29]]},"DOI":"10.1145\/1839764.1839773","type":"proceedings-article","created":{"date-parts":[[2010,10,5]],"date-time":"2010-10-05T14:38:23Z","timestamp":1286289503000},"page":"66-75","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Action-based analysis of discrete regulatory networks with short-term stimuli"],"prefix":"10.1145","author":[{"given":"Christian","family":"Krause","sequence":"first","affiliation":[{"name":"Software Engineering, CWI Amsterdam"}]},{"given":"Carola","family":"Krause","sequence":"additional","affiliation":[{"name":"Leiden University Medical Center"}]},{"given":"Erik P.","family":"de Vink","sequence":"additional","affiliation":[{"name":"Formal Methods, TU Eindhoven"}]}],"member":"320","published-online":{"date-parts":[[2010,9,29]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJBRA.2008.019573"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.03.064"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11921240_7"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jtbi.2004.04.003"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cytogfr.2004.03.006"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btp355"},{"key":"e_1_3_2_1_7_1","first-page":"721","volume-title":"The Handbook of Modal Logic","author":"Bradfield J.","year":"2006","unstructured":"}} J. Bradfield and C. Stirling . Modal mu-calculi . In P. Blackburn, J. van Benthem, and F. Wolter, editors, The Handbook of Modal Logic , pages 721 -- 756 . Elsevier , 2006 . }}J. Bradfield and C. Stirling. Modal mu-calculi. In P. Blackburn, J. van Benthem, and F. Wolter, editors, The Handbook of Modal Logic, pages 721--756. Elsevier, 2006."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.03.063"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.02.037"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03845-7_13"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btn266"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.biosystems.2005.10.003"},{"key":"e_1_3_2_1_13_1","volume-title":"Methods for Modelling Software Systems. IBFI","author":"J.","year":"2007","unstructured":"}} J. F. Groote et al. The formal specification language mCRL2. In E. Brinksma et al., editor , Methods for Modelling Software Systems. IBFI , Schloss Dagstuhl , 2007 . }}J. F. Groote et al. The formal specification language mCRL2. In E. Brinksma et al., editor, Methods for Modelling Software Systems. IBFI, Schloss Dagstuhl, 2007."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.11.013"},{"key":"e_1_3_2_1_15_1","first-page":"5016","article-title":"Petri nets for systems and synthetic biology. In M. Bernardo, P. Degano, and G. Zavattaro, editors, Formal Methods for Computational Systems Biology, pages 215--264","author":"Heiner M.","year":"2008","unstructured":"}} M. Heiner , D. Gilbert , and R. Donaldson . Petri nets for systems and synthetic biology. In M. Bernardo, P. Degano, and G. Zavattaro, editors, Formal Methods for Computational Systems Biology, pages 215--264 . LNCS 5016 , 2008 . }}M. Heiner, D. Gilbert, and R. Donaldson. Petri nets for systems and synthetic biology. In M. Bernardo, P. Degano, and G. Zavattaro, editors, Formal Methods for Computational Systems Biology, pages 215--264. LNCS 5016, 2008.","journal-title":"LNCS"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-5193(69)90015-0"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1128\/MCB.10.4.1492"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11047-008-9101-0"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.04.011"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1096\/fj.03-1273rev"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1038\/sj.emboj.7601818"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.96.9.4844"},{"key":"e_1_3_2_1_23_1","volume-title":"Communication and Concurrency","author":"Milner R.","year":"1989","unstructured":"}} R. Milner . Communication and Concurrency . Prentice Hall International , 1989 . }}R. Milner. Communication and Concurrency. Prentice Hall International, 1989."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03845-7_18"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1146\/annurev.genet.39.073003.113656"},{"key":"e_1_3_2_1_26_1","volume-title":"A Genetic Switch: Phage Lambda Revisited. Cold Spring Harbor","author":"Ptashne M.","year":"2004","unstructured":"}} M. Ptashne . A Genetic Switch: Phage Lambda Revisited. Cold Spring Harbor , 3 rd edition, 2004 . }}M. Ptashne. A Genetic Switch: Phage Lambda Revisited. Cold Spring Harbor, 3rd edition, 2004.","edition":"3"},{"key":"e_1_3_2_1_27_1","first-page":"328","volume-title":"Proc. ISMB","author":"Reddy V. N.","year":"1993","unstructured":"}} V. N. Reddy , M. N. Liebman , and M. L. Mavrovouniotis . Petri net representations in metabolic pathways. In L. Hunter, D. B. Searls, and J. W. Shavlik, editors , Proc. ISMB , pages 328 -- 336 . AAAI, 1993 . }}V. N. Reddy, M. N. Liebman, and M. L. Mavrovouniotis. Petri net representations in metabolic pathways. In L. Hunter, D. B. Searls, and J. W. Shavlik, editors, Proc. ISMB, pages 328--336. AAAI, 1993."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compbiolchem.2006.09.005"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.11.010"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/bti1130"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02460695"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btl596"},{"key":"e_1_3_2_1_33_1","first-page":"277","article-title":"Dynamical behavior of biological regulatory networks II: Immunity control in bacteriophage lambda","volume":"57","author":"Thieffry D.","year":"1995","unstructured":"}} D. Thieffry and R. Thomas . Dynamical behavior of biological regulatory networks II: Immunity control in bacteriophage lambda . Bulletin of Mathematical Biology , 57 : 277 -- 297 , 1995 . }}D. Thieffry and R. Thomas. Dynamical behavior of biological regulatory networks II: Immunity control in bacteriophage lambda. Bulletin of Mathematical Biology, 57:277--297, 1995.","journal-title":"Bulletin of Mathematical Biology"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-5193(73)90247-6"},{"key":"e_1_3_2_1_35_1","volume-title":"Biologial feedback","author":"Thomas R.","year":"1990","unstructured":"}} R. Thomas and R. D'Ari . Biologial feedback . CRC Press , 1990 . }}R. Thomas and R. D'Ari. Biologial feedback. CRC Press, 1990."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1002\/path.2277"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1155\/2007\/20180"}],"event":{"name":"CMSB '10: 8th Conference on Computational Methods in Systems Biology","sponsor":["CoSBi","Professional"],"location":"Trento Italy","acronym":"CMSB '10"},"container-title":["Proceedings of the 8th International Conference on Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1839764.1839773","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1839764.1839773","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:33Z","timestamp":1750248513000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1839764.1839773"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9,29]]},"references-count":37,"alternative-id":["10.1145\/1839764.1839773","10.1145\/1839764"],"URL":"https:\/\/doi.org\/10.1145\/1839764.1839773","relation":{},"subject":[],"published":{"date-parts":[[2010,9,29]]},"assertion":[{"value":"2010-09-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}