TITLE     : Data verification for collective adaptive systems: spatial model-checking of vehicle location data
AUTHOR(S) : Ciancia V, Gilmore S, Latella D, Loreti M, Massink M
TYPE      : Conference article
YEAR      : 2014
CODE      : 294338

*** DO NOT EDIT THIS FILE ***