Силаев Андрей Николаевич

Публикации в базе данных Math-Net.Ru

1. Верификация автоматных алгоритмов по частичному описанию входных последовательностей
   
   Ученые записки УлГУ. Серия "Математика и информационные технологии", 2025, № 1,  58–69