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.

Modelling the Transition to Distributed Ledgers

Jan Sürmeli, Stefan Jähnichen, Jeff W. Sanders. Modelling the Transition to Distributed Ledgers. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III. Volume 11246 of Lecture Notes in Computer Science, pages 48-62, Springer, 2018. [doi]

Authors

Jan Sürmeli

This author has not been identified. Look up 'Jan Sürmeli' in Google

Stefan Jähnichen

This author has not been identified. Look up 'Stefan Jähnichen' in Google

Jeff W. Sanders

This author has not been identified. Look up 'Jeff W. Sanders' in Google
runs on