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

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

30 September 2021

ArXiv (abs)PDF HTML

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

Title
No papers