TITLE     : Spatial model checking for medical imaging - Preliminary version
AUTHOR(S) : Banci Bonamici F, Belmonte G, Ciancia V, Latella D, Massink M
TYPE      : Other
YEAR      : 2017
CODE      : 380928

*** DO NOT EDIT THIS FILE ***