|
|
|
|
|
Items where Author is "van de Pol, Jaco" |
||
|
Group by: Item Type | No Grouping Number of items: 1. Chaudhary, Kaylash C. and Fehnker, Ansgar and van de Pol, Jaco and Stoelinga, Marielle (2015) Modeling and verification of the Bitcoin protocol. [Conference Proceedings] |