Marielle Stoelinga (University of Twente)
Identifiers
- name variant Marielle Stoelinga (University of Twente) 0.60 · backfill
Papers (1)
- Modeling and Verification of the Bitcoin Protocol cs.LO · 2015 · author #4
Mentions
- 1511.04173 #4 · backfill · confidence 0.70 Marielle Stoelinga (University of Twente)
Frequent Coauthors
- Ansgar Fehnker (University of the South Pacific) 1 shared papers
- Jaco van de Pol (University of Twente) 1 shared papers
- Kaylash Chaudhary (University of the South Pacific) 1 shared papers