Кубасов Сергей Валерьевич

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

1. Верификация синхронно-автоматных программ с использованием LTL
   
   Модел. и анализ информ. систем, 15:2 (2008),  46–49
2. Верификация синхронно-автоматных программ
   
   Модел. и анализ информ. систем, 14:4 (2007),  20–27
3. Синхронная модель автоматной программы
   
   Модел. и анализ информ. систем, 14:1 (2007),  11–18