Распределенные алгоритмы и их верификация с помощью Byzantine model checker. JMMCS. 2018;92(4):70-79. просмотрено июль 13, 2026. https://bm.kaznu.kz/index.php/kaznu/article/view/455