Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone. Prostate Gleason Score Detection and Cancer Treatment Through Real-Time Formal Verification. IEEE Access, 7:186236-186246, 2019. [doi]
@article{BruneseMRS19-1,
title = {Prostate Gleason Score Detection and Cancer Treatment Through Real-Time Formal Verification},
author = {Luca Brunese and Francesco Mercaldo and Alfonso Reginelli and Antonella Santone},
year = {2019},
doi = {10.1109/ACCESS.2019.2961754},
url = {https://doi.org/10.1109/ACCESS.2019.2961754},
researchr = {https://researchr.org/publication/BruneseMRS19-1},
cites = {0},
citedby = {0},
journal = {IEEE Access},
volume = {7},
pages = {186236-186246},
}