DAVID DE
FRUTOS ESCRIG
Catedrático de universidad
Guido
Sciavicco
Publications by the researcher in collaboration with Guido Sciavicco (1)
2017
-
Evaluation of temporal datasets via interval temporal logic model checking
Leibniz International Proceedings in Informatics, LIPIcs