Login / Signup
Specifying and Analyzing the Kademlia Protocol in Maude.
Isabel Pita
Adrián Riesco
Published in:
ICTAC (2015)
Keyphrases
</>
lightweight
formal analysis
communication protocol
databases
decision trees