Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink. An Experimental Spatio-Temporal Model Checker. In Domenico Bianculli, Radu Calinescu, Bernhard Rumpe, editors, Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers. Volume 9509 of Lecture Notes in Computer Science, pages 297-311, Springer, 2015. [doi]
Abstract is missing.