Brief Announcement: Holistic Verification of Blockchain Consensus
From MaRDI portal
Publication:6202197
DOI10.1145/3519270.3538468OpenAlexW4286210090MaRDI QIDQ6202197
Josef Widder, Unnamed Author, Nathalie Bertrand, Pierre Tholoniat, Marijana Lazić, Vincent Gramoli
Publication date: 26 March 2024
Published in: Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3519270.3538468