Login / Signup
A Process Calculus for Formally Verifying Blockchain Consensus Protocols.
Wolfgang Jeltsch
Published in:
CoRR (2019)
Keyphrases
</>
data sets
database
computer vision
information systems
expert systems
design process
model checking