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.

Modeling Bitcoin Protocols with Probabilistic Logic Programming

Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma, Elena Bellodi, Riccardo Zese. Modeling Bitcoin Protocols with Probabilistic Logic Programming. In Elena Bellodi, Tom Schrijvers, editors, Proceedings of the 5th International Workshop on Probabilistic Logic Programming, PLP 2018, co-located with the 28th International Conference on Inductive Logic Programming (ILP 2018), Ferrara, Italy, September 1, 2018. Volume 2219 of CEUR Workshop Proceedings, pages 49-61, CEUR-WS.org, 2018. [doi]

Abstract

Abstract is missing.

runs on