Publications by the researcher in collaboration with Guido Sciavicco (1)

2017

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

    Leibniz International Proceedings in Informatics, LIPIcs