Modeling and Verification of the Bitcoin Protocol
| Image |  |
|---|---|
| Description | conference paper published in 2015 |
| Author/s | |
| Publication date | November 23, 2015 |
| Language | |
| Country of origin | |
| Wikipedia link | |
| Access work |
https://pdfs.semanticscholar.org/6500/dd54c2ab2e93a00feb0ab78e8face98a5f59.pdf |
| Copyright status | |
| Missing/wrong data? | Edit Wikidata item |