Modelling the Transition to Distributed Ledgers

Resource type
Conference
Author(s)
Jan Sürmeli and Stefan Jähnichen and Jeff W. Sanders
Year
2018
Volume
11246
Pages
48--62
Publisher
Springer
Series
Lecture Notes in Computer Science
Book title
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
Editor
Tiziana Margaria and Bernhard Steffen
Online Sources
https://doi.org/10.1007/978-3-030-03424-5\_4
DOI
10.1007/978-3-030-03424-5\_4
Download .bib
Download .bib
Published by
Jan Sürmeli