FERRARA, Andrea
FERRARA, Andrea
DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
Mostra
prodotti
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.002 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
The size of BDDs and other data structures in temporal logics model checking | 2016 | Ferrara, Andrea; Liberatore, Paolo; Schaerf, Marco |