ANDREA FERRARA

PhD Student

PhD program:: XXX





Research products

11573/912746 - 2016 - The size of BDDs and other data structures in temporal logics model checking
Ferrara, Andrea; Liberatore, Paolo; Schaerf, Marco - 01a Articolo in rivista
paper: IEEE TRANSACTIONS ON COMPUTERS (IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667) pp. 3148-3156 - issn: 0018-9340 - wos: WOS:000384131200016 (0) - scopus: 2-s2.0-84987602332 (0)

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