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

GMU: Genuine Multiversion Update-Serializable Partial Data Replication

2016 - IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
Peluso, Sebastiano; Ruivo, Pedro; Romano, Paolo; QUAGLIA, Francesco; Rodrigues, Luís

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