Pubblicazioni

The size of BDDs and other data structures in temporal logics model checking

2016 - IEEE TRANSACTIONS ON COMPUTERS
Ferrara, Andrea; Liberatore, Paolo; Schaerf, Marco

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