Pubblicazioni

A formal model for ledger management systems based on contracts and temporal logic

2022 - BLOCKCHAIN: RESEARCH AND APPLICATIONS
Bottoni, Paolo Gaspare; Labella, Anna; Pareschi, Remo

A formal model for ledger management systems based on contracts and temporal logic

2022 - BLOCKCHAIN: RESEARCH AND APPLICATIONS
Bottoni, Paolo; Labella, Anna; Pareschi, Remo

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