Publicaciones en colaboración con investigadores/as de University of Ferrara (1)

2017

  1. Evaluation of temporal datasets via interval temporal logic model checking

    Leibniz International Proceedings in Informatics, LIPIcs