{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:29:32Z","timestamp":1725564572718},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540208037"},{"type":"electronic","value":"9783540246220"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24622-0_26","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T11:33:53Z","timestamp":1283686433000},"page":"323-324","source":"Crossref","is-referenced-by-count":5,"title":["A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal"],"prefix":"10.1007","author":[{"given":"David","family":"Harel","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"#cr-split#-26_CR1.1","unstructured":"Kam, N., Cohen, I.R., Harel, D.: The Immune System as a Reactive System: Modeling T Cell Activation with Statecharts. Bull. Math. Bio. (to appear);"},{"key":"#cr-split#-26_CR1.2","unstructured":"Extended abstract in Proc. Visual Languages and Formal Methods (VLFM 2001), part of IEEE Symp. on Human-Centric Computing (HCC 2001), pp. 15???22 (2001)"},{"issue":"2003","key":"26_CR2","first-page":"2484","volume":"13","author":"S. Efroni","year":"2003","unstructured":"Efroni, S., Harel, D., Cohen, I.R.: Towards Rigorous Comprehension of Biological Complexity: Modeling, Execution and Visualization of Thymic T Cell Maturation. Genome Research\u00a013 (2003), 2484\u20132485 (2003)","journal-title":"Genome Research"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Kam, N., Harel, D., Kugler, H., Marelly, R., Pnueli, A., Hubbard, E.J.A., Stern, M.J.: Formal Modeling of C. elegans Development: A Scenario-Based Approach. In: Proc. Int. Workshop on Computational Methods in Systems Biology (ICMSB 2003) (February 2003)","DOI":"10.1007\/3-540-36481-1_2"},{"key":"26_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine","author":"D. Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24622-0_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,20]],"date-time":"2019-03-20T00:58:58Z","timestamp":1553043538000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24622-0_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540208037","9783540246220"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24622-0_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}