Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1511.04173
Cited By
Modeling and Verification of the Bitcoin Protocol
13 November 2015
K. Chaudhary
A. Fehnker
J. V. D. Pol
Marielle Stoelinga
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Modeling and Verification of the Bitcoin Protocol"
1 / 1 papers shown
Title
Modeling Bitcoin Contracts by Timed Automata
Marcin Andrychowicz
Stefan Dziembowski
Daniel Malinowski
Lukasz Mazurek
52
48
0
08 May 2014
1
