POLYAKOV, Aleksey Sergeevich et al.
Верификация алгоритма забияки для распределенных систем средствами TLA+ и PlusCal.
Современные информационные технологии и ИТ-образование, [S.l.], v. 18, n. 1, p. 54-61, mar. 2022.
ISSN 2411-1473. Доступно на: <http://sitito.cs.msu.ru/index.php/SITITO/article/view/817>. Дата доступа: 12 oct. 2024
doi: https://doi.org/10.25559/SITITO.18.202201.54-61.