Modeling and Verification of the Bitcoin Protocol

Kaylash Chaudhary
Ansgar Fehnker
Jaco van de Pol
Marielle Stoelinga

Metadata

Year 2015
Peer Reviewed not_interested
Venue arXiv
mode_edit