СВИРИН, И. С.; СИЛИН, П. А.; ПАРФИЛОВ, И. В. Улучшенный верифицирующий алгоритм для математической модели взаимных блокировок. Системный анализ в науке и образовании, [S. l.], n. 3, p. 74–82, 2021. Disponível em: https://sanse.uni-dubna.ru/index.php/sanse/article/view/340. Acesso em: 21 ноя. 2024.