MOLINARI, Alberto
MOLINARI, Alberto
DPIA - DIPARTIMENTO POLITECNICO DI INGEGNERIA E ARCHITETTURA
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION | 1-gen-2022 | Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Sala, P. |