Picture for Paolo Bottoni

Paolo Bottoni

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

Add code
Sep 30, 2021
Figure 1 for A formal model for ledger management systems based on contracts and temporal logic
Figure 2 for A formal model for ledger management systems based on contracts and temporal logic
Viaarxiv icon

SWift -- A SignWriting improved fast transcriber

Add code
Nov 25, 2019
Figure 1 for SWift -- A SignWriting improved fast transcriber
Viaarxiv icon