“Үлестiрiлген алгоритмдер және оларды Byzantine моделдi тексерiс арқылы верификациялау”, JMMCS, vol. 92, no. 4, pp. 70–79, Jul. 2018, Accessed: Jul. 13, 2026. [Online]. Available: https://bm.kaznu.kz/index.php/kaznu/article/view/455