@inproceedings{time17,
  author    = {Della Monica, Dario and
               de Frutos{-}Escrig, David and
               Angelo Montanari and
               Aniello Murano and
               Guido Sciavicco},
  title     = {Evaluation of Temporal Datasets via Interval
               Temporal Logic Model Checking},
  booktitle = {Proc. of the 24th International Symposium on
               Temporal Representation and Reasoning (TIME)},
  pages     = {11:1--11:18},
  year      = {2017},
  editor    = {Sven Schewe and
               Thomas Schneider and
               Jef Wijsen},
  series    = {LIPIcs},
  volume    = {90},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  doi       = {10.4230/LIPIcs.TIME.2017.11},
  address   = {Mons, Belgium},
  month     = {October}
}