Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco. Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. In Sven Schewe, Thomas Schneider 0002, Jef Wijsen, editors, 24th International Symposium on Temporal Representation and Reasoning, TIME 2017, October 16-18, 2017, Mons, Belgium. Volume 90 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]
Abstract is missing.