Bektemessov, A. T., Burlibaev, A. Z., & Iliyaletdinov, F. A. (2018). Distributed algorithms and their verification with Byzantine model checker. Journal of Mathematics, Mechanics and Computer Science, 92(4), 70–79. Retrieved from https://bm.kaznu.kz/index.php/kaznu/article/view/455