Modeling Bitcoin Contracts by Timed Automata

By: Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Łukasz Mazurek
Date: 2014
Journal: Formal Modeling and Analysis of Timed Systems
Link: http://link.springer.com/chapter/10.1007/978-3-319-10512-3_2

Leave a Reply