External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Model Checking a Server-Side Micro Payment Protocol

Kaylash Chaudhary, Ansgar Fehnker. Model Checking a Server-Side Micro Payment Protocol. In Manuel Núñez, Matthias Güdemann, editors, Formal Methods for Industrial Critical Systems - 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 Proceedings. Volume 9128 of Lecture Notes in Computer Science, pages 96-110, Springer, 2015. [doi]

Authors

Kaylash Chaudhary

This author has not been identified. Look up 'Kaylash Chaudhary' in Google

Ansgar Fehnker

This author has not been identified. Look up 'Ansgar Fehnker' in Google
runs on