Feasibility of Spatial Model Checking for Nevus Segmentation | IEEE Conference Publication | IEEE Xplore