{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T02:32:42Z","timestamp":1725417162046},"reference-count":0,"publisher":"SCITEPRESS - Science and Technology Publications","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.5220\/0010394801910194","type":"proceedings-article","created":{"date-parts":[[2021,2,17]],"date-time":"2021-02-17T18:47:55Z","timestamp":1613587675000},"page":"191-194","source":"Crossref","is-referenced-by-count":0,"title":["A Methodology based on Formal Methods for Thermal Ablation Area Detection"],"prefix":"10.5220","author":[{"given":"Luca","family":"Brunese","sequence":"first","affiliation":[{"name":"Department of Medicine and Health Sciences \u201cVincenzo Tiberio\u201d, University of Molise, Campobasso, Italy, --- Select a Country ---"}]},{"given":"Francesco","family":"Mercaldo","sequence":"first","affiliation":[{"name":"Department of Medicine and Health Sciences \u201cVincenzo Tiberio\u201d, University of Molise, Campobasso, Italy, --- Select a Country ---"}]},{"given":"Antonella","family":"Santone","sequence":"first","affiliation":[{"name":"Department of Medicine and Health Sciences \u201cVincenzo Tiberio\u201d, University of Molise, Campobasso, Italy, --- Select a Country ---"}]},{"given":"Giuseppe","family":"Vanoli","sequence":"first","affiliation":[{"name":"Department of Medicine and Health Sciences \u201cVincenzo Tiberio\u201d, University of Molise, Campobasso, Italy, --- Select a Country ---"}]}],"member":"3171","event":{"name":"12th International Conference on Bioinformatics Models, Methods and Algorithms","start":{"date-parts":[[2021,2,11]]},"location":"Online Streaming, --- Select a Country ---","end":{"date-parts":[[2021,2,13]]}},"container-title":["Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies"],"original-title":["A Methodology based on Formal Methods for Thermal Ablation Area Detection"],"deposited":{"date-parts":[[2021,7,23]],"date-time":"2021-07-23T11:39:42Z","timestamp":1627040382000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.scitepress.org\/DigitalLibrary\/Link.aspx?doi=10.5220\/0010394801910194"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2021]]},"references-count":0,"URL":"https:\/\/doi.org\/10.5220\/0010394801910194","relation":{},"subject":[],"published":{"date-parts":[[2021]]}}}