@InProceedings{dinu_et_al:OASIcs.FAB.2022.8,
author = {Dinu, Floris Ciprian and Bonomi, Silvia},
title = {{A Modular Approach for the Analysis of Blockchain Consensus Protocol Under Churn}},
booktitle = {5th International Symposium on Foundations and Applications of Blockchain 2022 (FAB 2022)},
pages = {8:1--8:2},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-248-8},
ISSN = {2190-6807},
year = {2022},
volume = {101},
editor = {Tucci-Piergiovanni, Sara and Crooks, Natacha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FAB.2022.8},
URN = {urn:nbn:de:0030-drops-162754},
doi = {10.4230/OASIcs.FAB.2022.8},
annote = {Keywords: Blockchain Dependability, Dynamic Distributed Systems, Simulation}
}