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