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