Model Checking a Server-Side Micro Payment Protocol

Kaylash Chaudhary, Ansgar Fehnker

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Fingerprint Dive into the research topics of 'Model Checking a Server-Side Micro Payment Protocol'. Together they form a unique fingerprint.

Business & Economics