DAVID DE
FRUTOS ESCRIG
Catedrático de universidad
![Foto de DAVID DE](/img/nophoto.png)
![Foto de University of Ferrara](/img/noimage_org.png)
University of Ferrara
Ferrara, ItaliaPublicaciones en colaboración con investigadores/as de University of Ferrara (1)
2017
-
Evaluation of temporal datasets via interval temporal logic model checking
Leibniz International Proceedings in Informatics, LIPIcs