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