Ivan Fedotov, Anton Khritankov, Artem Barger. Towards verification of probabilistic multi-party consensus protocols: Constructing algorithms for verification of multi-party protocols with probabilistic properties. In ICSIM 2022: The 5th International Conference on Software Engineering and Information Management, Yokohama, Japan, January 21 - 23, 2022. pages 100-105, ACM, 2022. [doi]
@inproceedings{FedotovKB22,
title = {Towards verification of probabilistic multi-party consensus protocols: Constructing algorithms for verification of multi-party protocols with probabilistic properties},
author = {Ivan Fedotov and Anton Khritankov and Artem Barger},
year = {2022},
doi = {10.1145/3520084.3520100},
url = {https://doi.org/10.1145/3520084.3520100},
researchr = {https://researchr.org/publication/FedotovKB22},
cites = {0},
citedby = {0},
pages = {100-105},
booktitle = {ICSIM 2022: The 5th International Conference on Software Engineering and Information Management, Yokohama, Japan, January 21 - 23, 2022},
publisher = {ACM},
isbn = {978-1-4503-9551-9},
}