Qualitative and Quantitative Monitoring of Spatio-Temporal Properties⋆ Laura Nenzi1 , Luca Bortolussi2,3,4 , Vincenzo Ciancia4 , Michele Loreti5,1 , and Mieke Massink4 1

First Page		Document Content
Date: 2015-07-20 06:26:37		Qualitative and Quantitative Monitoring of Spatio-Temporal Properties⋆ Laura Nenzi1 , Luca Bortolussi2,3,4 , Vincenzo Ciancia4 , Michele Loreti5,1 , and Mieke Massink4 1 Add to Reading List Source URL: blog.inf.ed.ac.uk Download Document from Source Website File Size: 764,90 KB Share Document on Facebook