Evaluation of temporal datasets via interval temporal logic model checking

  1. Monica, D.D.
  2. De Frutos-Escrig, D.
  3. Montanari, A.
  4. Murano, A.
  5. Sciavicco, G.
Actas:
Leibniz International Proceedings in Informatics, LIPIcs

ISSN: 1868-8969

ISBN: 9783959770521

Año de publicación: 2017

Volumen: 90

Tipo: Aportación congreso

DOI: 10.4230/LIPICS.TIME.2017.11 GOOGLE SCHOLAR
Fuente de los datos: Scopus