Подход к поиску взаимных блокировок в многопоточном программном обеспечении с помощью верификатора SPIN
Опубликовано: 01.01.2013
Авторы: Можаров Г.П., Парфилов И.В.
Опубликовано в выпуске: #11(11)/2012
DOI: 10.18698/2308-6033-2012-11-481
Раздел: Информационные технологии | Рубрика: Компьютерные системы и сети