Modeling Bitcoin Contracts by Timed Automata

Marcin Andrychowicz
Stefan Dziembowski
Daniel Malinowski
Łukasz Mazurek

Metadata

Year 2014
Peer Reviewed not_interested
Venue Formal Modeling and Analysis of Timed Systems
mode_edit