Fingerprint Dive into the research topics of 'Model Checking a Server-Side Micro Payment Protocol'. Together they form a unique fingerprint.
- Sort by
- Weight
- Alphabetically
Model Checking a Server-Side Micro Payment Protocol
Kaylash Chaudhary, Ansgar Fehnker
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
1
Citation
(Scopus)