TY  - RPRT
TI  - Modeling and Verification of the Bitcoin Protocol
AU  - Kaylash Chaudhary
AU  - Ansgar Fehnker
AU  - Jaco van de Pol
AU  - Marielle Stoelinga
PY  - 2015
DO  - 10.4204/eptcs.196.5
UR  - https://arxiv.org/abs/1511.04173
ID  - 1511.04173
ER  -