{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:18:21Z","timestamp":1725538701162},"reference-count":5,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/cdc.2004.1430384","type":"proceedings-article","created":{"date-parts":[[2008,8,27]],"date-time":"2008-08-27T14:10:36Z","timestamp":1219846236000},"page":"2256-2261 Vol.2","source":"Crossref","is-referenced-by-count":0,"title":["An algorithm for reachability computations on hybrid automata models of protein signaling networks"],"prefix":"10.1109","author":[{"given":"R.","family":"Ghosh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Tomlin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/3-540-45351-2_21","article-title":"Lateral inhibition through delta-notch signaling: A piecewise affine hybrid model","author":"ghosh","year":"2001","journal-title":"Hybrid Systems Computation and Control"},{"key":"2","first-page":"326","article-title":"Deltanotch lateral inhibitory patterning in the emergence of ciliated cells in Xenopus: Experimental observations and a gene network model","author":"marnellos","year":"2000","journal-title":"Pacific Symposium on Biocomputing"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1049\/sb:20045019"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1109\/CDC.2002.1184746"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1145\/96877.96943"}],"event":{"name":"2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)","start":{"date-parts":[[2004,12,17]]},"location":"Nassau, Bahamas","end":{"date-parts":[[2004,12,17]]}},"container-title":["2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9774\/30842\/01430384.pdf?arnumber=1430384","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T07:16:12Z","timestamp":1497770172000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1430384\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":5,"URL":"https:\/\/doi.org\/10.1109\/cdc.2004.1430384","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}