|
[GLMV03]
Letterio Galletta, Cosimo Laneve, Ivan Mercanti and Adele Veschetti.
Resilience of Hybrid Casper Under Varying Values of Parameters.
Distributed Ledger Technologies: Research and Practice, 2(1), pages 1-25.
2023.
[Develops an extension of PRISM for verifying an Ethereum blockchain protocol.]
|
|
Links:
[Google]
[Google Scholar]
|