Dettaglio pubblicazione
2016, IEEE TRANSACTIONS ON COMPUTERS, Pages 3148-3156 (volume: 65)
The size of BDDs and other data structures in temporal logics model checking (01a Articolo in rivista)
Ferrara Andrea, Liberatore Paolo, Schaerf Marco
keywords