Чеботарёв Анатолий Николаевич

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

1. Регулярная форма спецификации детерминированных автоматов в языке L
   
   ПДМ, 2010, № 4(10),  64–72
2. Решение неравенств над автоматами в проектировании реактивных систем
   
   ПДМ, 2010, № 3(9),  100–110