| Year | 2014 |
|---|---|
| Author | Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Łukasz Mazurek |
| Publisher | Formal Modeling and Analysis of Timed Systems |
| Link | View Research Paper |
| Categories |
Bitcoin / Cryptocurrencies / Technical |
| Year | 2014 |
|---|---|
| Author | Marcin Andrychowicz, Stefan Dziembowski, Daniel Malinowski, Łukasz Mazurek |
| Publisher | Formal Modeling and Analysis of Timed Systems |
| Link | View Research Paper |
| Categories |
Bitcoin / Cryptocurrencies / Technical |