Гнатенко Антон Романович Россия, Москва Область научных интересов модели вычислений темпоральные логики верификация программ теория автоматов Место работы и должность Национальный исследовательский университет Высшая школа экономики — магистрант Адрес электронной почты gnatenko.cmc@gmail.com
Гнатенко А.Р., Захаров В.А. Применение одного расширения CTL* для спецификации и верификации последовательных реагирующих систем // Системная информатика. — 2020. — № 17. — С. 21-32
