EEMCS

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

EEMCS EPrints Service


Editor: Groote, J.F.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

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

1991

Spruit, P.A. and Wieringa, R.J. (1991) Some finite-graph models for Process Algebra. In: 2nd International Conference on Concurrency Theory, CONCUR 1991, 26-29 Aug 1991, Amsterdam, The Netherlands. pp. 495-509. Lecture Notes in Computer Science 527. Springer. ISBN 3540544305

This list was generated on Mon May 29 00:57:30 CEST 2017.