ANDREA FERRARA

Dottorando

ciclo: XXX





Produzione scientifica

  • 11573/912746 - 2016 - The size of BDDs and other data structures in temporal logics model checking (01a Articolo in rivista)
    FERRARA, Andrea; LIBERATORE, Paolo; SCHAERF, Marco
  • 11573/917050 - 2006 - Formal verification: further complexity issues and applications (07b Tesi di Dottorato (EX-Padis))

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