Bektemessov, A. T., Burlibaev, A. Z. and Iliyaletdinov, F. A. (2018) “Distributed algorithms and their verification with Byzantine model checker”, Journal of Mathematics, Mechanics and Computer Science, 92(4), pp. 70–79. Available at: https://bm.kaznu.kz/index.php/kaznu/article/view/455 (Accessed: 22 July 2024).