Modelling the Transition to Distributed Ledgers

Publikationstyp
Konferenz
Autor(en)
Jan Sürmeli and Stefan Jähnichen and Jeff W. Sanders
Jahr
2018
Ausgabe
11246
Seiten
48--62
Verlag
Springer
Reihentitel
Lecture Notes in Computer Science
Buchtitel
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
Bearbeiter
Tiziana Margaria and Bernhard Steffen
Link
https://doi.org/10.1007/978-3-030-03424-5\_4
DOI
10.1007/978-3-030-03424-5\_4
Download .bib
Download .bib
Eingetragen von
Jan Sürmeli