{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:19:57Z","timestamp":1729671597586,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,2]]},"DOI":"10.1109\/bhi.2016.7455913","type":"proceedings-article","created":{"date-parts":[[2016,5,4]],"date-time":"2016-05-04T20:42:44Z","timestamp":1462394564000},"page":"376-379","source":"Crossref","is-referenced-by-count":1,"title":["Model checking cancer automata"],"prefix":"10.1109","author":[{"given":"Juliana K. F.","family":"Bowles","sequence":"first","affiliation":[]},{"given":"Agastya","family":"Silvina","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"78","volume":"54","author":"bouyer","year":"2011","journal-title":"Quantitative analysis of real-time systems using priced timed automata Commun ACM"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0177-x"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45187-7_9"},{"key":"ref13","first-page":"2198","volume":"45","author":"fournier","year":"1980","journal-title":"Growth rate of 147 mammary carcinomas Cancer"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.breastdis.2012.06.011"},{"journal-title":"Spatiotemporal progression of metastatic breast cancer a markov chain model highlighting the role of early metastatic sites npj Breast Cancer","year":"2015","author":"newton","key":"ref15"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2014.01.013"},{"journal-title":"American Cancer Society Cancer Facts and Figures","year":"2015","key":"ref3"},{"key":"ref6","first-page":"5271","article-title":"Design and synthesis of synchronization skeletons using branching time temporal logic","volume":"131","author":"clarke","year":"1981","journal-title":"Logic of Programs"},{"key":"ref5","first-page":"3","volume":"5","author":"sgaard","year":"2013","journal-title":"The impact of comorbidity on cancer survival a review Clinical Epidemiology"},{"key":"ref8","first-page":"252","volume":"64","author":"de santis","year":"2014","journal-title":"Cancer treatment and survivorship statistics 2014 CA A Cancer Journal for Clinicians"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3656-4","article-title":"AJCC Cancer Staging Manual","author":"greene","year":"2002"},{"key":"ref2","first-page":"624","volume":"321","author":"mc pherson","year":"2000","journal-title":"Breast cancer—epidemiology risk factors and genetics BMJ"},{"journal-title":"National Cancer Institute What Is Cancer","year":"2015","key":"ref1"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"alur","year":"1994","journal-title":"A Theory of Timed Automata Theoretical Computer Science"}],"event":{"name":"2016 IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI)","start":{"date-parts":[[2016,2,24]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2016,2,27]]}},"container-title":["2016 IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI)"],"original-title":[],"deposited":{"date-parts":[[2019,9,7]],"date-time":"2019-09-07T08:59:55Z","timestamp":1567846795000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7455913\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,2]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/bhi.2016.7455913","relation":{},"subject":[],"published":{"date-parts":[[2016,2]]}}}