EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: van Glabbeek, R.J.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2015

Chaudhary, K.C. and Fehnker, A. and van de Pol, J.C. and Stoelinga, M.I.A. (2015) Modeling and Verification of the Bitcoin Protocol. In: Proceedings of the Workshop on Models for Formal Analysis of Real Systems (MARS 2015), 23 Nov 2015, Suva, Fiji. pp. 46-60. Electronic Proceedings in Theoretical Computer Science 196. Open Publishing Association. ISSN 2075-2180

This list was generated on Fri May 26 01:31:13 CEST 2017.