Home » Publication » 16519

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

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma