Bektemessov AT, Burlibaev AZ, Iliyaletdinov FA. Distributed algorithms and their verification with Byzantine model checker. JMMCS [Internet]. 2018 Jul. 18 [cited 2024 Dec. 22];92(4):70-9. Available from: https://bm.kaznu.kz/index.php/kaznu/article/view/455