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

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: