TY  - RPRT
TI  - Modeling Bitcoin Contracts by Timed Automata
AU  - Marcin Andrychowicz
AU  - Stefan Dziembowski
AU  - Daniel Malinowski
AU  - Łukasz Mazurek
PY  - 2014
UR  - https://arxiv.org/abs/1405.1861
ID  - 1405.1861
ER  -