Model Checking a Server-Side Micro Payment Protocol.

Kaylash Chaudhary, Ansgar Fehnker

Browse the full FMICS paper archive.