Spatial Logics and Model Checking for Medical Imaging (Extended Version). - Fabrizio Banci Buonamici; Gina Belmonte; Vincenzo Ciancia; Diego Latella; Mieke Massink (CoRR, 2018)

Spatial logics and model checking for medical imaging. - Fabrizio Banci Buonamici; Gina Belmonte; Vincenzo Ciancia; Diego Latella; Mieke Massink (Int. J. Softw. Tools Technol. Transf., 2020)