Publicaciones en las que colabora con Guido Sciavicco (1)

2017

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

    Leibniz International Proceedings in Informatics, LIPIcs