TITLE : Feasibility of Spatial Model Checking for Nevus Segmentation AUTHOR(S) : Belmonte G, Broccia G, Ciancia V, Latella D, Massink M TYPE : Conference article YEAR : 2021 CODE : 453199 *** DO NOT EDIT THIS FILE ***