{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T04:47:32Z","timestamp":1725684452619},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/sehc.2012.6227014","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T21:25:08Z","timestamp":1341869108000},"page":"19-25","source":"Crossref","is-referenced-by-count":5,"title":["Cancer treatment planning: Formal methods to the rescue"],"prefix":"10.1109","author":[{"given":"Janos","family":"Mathe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Janos","family":"Sztipanovits","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mia","family":"Levy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ethan K.","family":"Jackson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfram","family":"Schulte","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2009.84"},{"key":"15","first-page":"50","author":"karsai","year":"2006","journal-title":"The Model-Integrated Computing Toolsuite Metaprogrammable Tools for Embedded Control System Design"},{"key":"16","first-page":"337","article-title":"Z3: An Efficient SMT Solver","author":"de moura","year":"2008","journal-title":"TACAS"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1879021.1879027"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1142\/S1793351X09000628"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453147"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1200\/JOP.2011.000266"},{"journal-title":"The Cost of Cancer","year":"2011","key":"3"},{"journal-title":"Cancer Facts & Figures 2010","year":"2010","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1056\/NEJMp1011712"},{"journal-title":"Syntax and Semantics of PROforma","year":"2010","author":"sutton","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1006\/cbmr.1994.1023"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1136\/jamia.1994.95236141"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1200\/JOP.091058"},{"journal-title":"Ensuring Quality Cancer Care","year":"1999","author":"hewitt","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1136\/jamia.1998.0050357"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/S0933-3657(98)00015-3"}],"event":{"name":"2012 4th International Workshop on Software Engineering in Health Care (SEHC)","start":{"date-parts":[[2012,6,4]]},"location":"Zurich, Switzerland","end":{"date-parts":[[2012,6,5]]}},"container-title":["2012 4th International Workshop on Software Engineering in Health Care (SEHC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6218998\/6226999\/06227014.pdf?arnumber=6227014","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T19:10:57Z","timestamp":1490123457000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6227014\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/sehc.2012.6227014","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}