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