TITLE     : Qualitative and quantitative monitoring of spatio-temporal properties
AUTHOR(S) : Nenzi L, Bortolussi L, Ciancia V, Loreti M, Massink M
TYPE      : Conference article
YEAR      : 2015
CODE      : 334872

*** DO NOT EDIT THIS FILE ***