DAVID DE
FRUTOS ESCRIG
Catedrático de universidad
Guido
Sciavicco
Publicaciones en las que colabora con Guido Sciavicco (1)
2017
-
Evaluation of temporal datasets via interval temporal logic model checking
Leibniz International Proceedings in Informatics, LIPIcs