05.13.11 (математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей)
E-mail:
Научная биография:
Битнер, Вильгельм Александрович.
Исследование и реализация модели статического анализа нахождения состояния гонки в многопоточных алгоритмах с использованием линеаризованного графа потока управления : диссертация ... кандидата технических наук : 05.13.11; [Место защиты: Вычисл. центр им. А.А. Дородницына РАН]. - Москва, 2014. - 103 с. : ил.
В. А. Битнер, Н. В. Заборовский, “Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов”, Модел. и анализ информ. систем, 20:2 (2013), 166–177