TITLE : From collective adaptive systems to human centric computation and back: spatial model checking for medical imaging AUTHOR(S) : Belmonte G, Ciancia V, Latella D, Massink M TYPE : Conference article YEAR : 2016 CODE : 357986 *** DO NOT EDIT THIS FILE ***