Свирин, И. С., Силин, П. А., & Парфилов, И. В. (2021). Улучшенный верифицирующий алгоритм для математической модели взаимных блокировок. Системный анализ в науке и образовании, (3), 74–82. извлечено от https://sanse.uni-dubna.ru/index.php/sanse/article/view/340