A Practical Notion of Liveness in Smart Contract Applications.

Jonas Schiffl Bernhard Beckert

Published in: FMBC@CAV (2024)

Keyphrases

practical problems
supply chain
data sets
face recognition
multiscale
multi agent systems
information technology
wireless sensor networks
moral hazard