TITLE     : Spatio-temporal model-checking for collective adaptive systems
AUTHOR(S) : Ciancia V, Latella D, Loreti M, Massink M
TYPE      : Journal article
YEAR      : 2016
CODE      : 365221

*** DO NOT EDIT THIS FILE ***