Публикации в базе данных Math-Net.Ru |
|
2010 |
1. |
А. Н. Чеботарев, “Регулярная форма спецификации детерминированных автоматов в языке L”, ПДМ, 2010, 4(10), 64–72 |
2. |
А. Н. Чеботарёв, “Решение неравенств над автоматами в проектировании реактивных систем”, ПДМ, 2010, 3(9), 100–110 |
|