Mohamed G. Gouda, Alex X. Liu. Formal Specification and Verification of a Micropayment Protocol. In Ronald P. Luijten, Luiz A. DaSilva, Antonius P. J. Engbersen, editors, Proceedings of the International Conference On Computer Communications and Networks (ICCCN 2004), October 11-13, 2004, Chicago, IL, USA. pages 489-494, IEEE, 2004.
Abstract is missing.