Проблемы параметризованной верификации протоколов когерентности памяти
Опубликовано: 18.11.2013
Авторы: Буренков В.С., Иванов С.Р.
Опубликовано в выпуске: #11(23)/2013
DOI: 10.18698/2308-6033-2013-11-1013
Раздел: Информационные технологии