COMINATO, ENRICO
COMINATO, ENRICO
Dipartimento di Matematica e Informatica
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.004 secondi).
A model checker for interval temporal logic over finite structures?
file con accesso da definire2017 Cominato, E.; Monica, D. D.; Montanari, A.; Sciavicco, G.
Extracting interval temporal logic rules: A first approach
2018 Bresolin, Davide; Cominato, Enrico; Gnani, Simone; Muñoz-Velasco, Emilio; Sciavicco, Guido
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A model checker for interval temporal logic over finite structures? | 2017 | Cominato, E.; Monica, D. D.; Montanari, A.; Sciavicco, G. | file con accesso da definire |
| Extracting interval temporal logic rules: A first approach | 2018 | Bresolin, Davide; Cominato, Enrico; Gnani, Simone; Muñoz-Velasco, Emilio; Sciavicco, Guido |