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