Picture for Anna Labella

Anna Labella

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