Информатика, вычислительная техника и управление. Диссертация Методы и средства верификации протоколов когерентности памяти : диссертация ... кандидата технических наук : 05.13.11 / Буренков Владимир Сергеевич; [Место защиты: Ин-т систем. программирования], Москва, 2017