Соболев Михаил Сергеевич

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

1. Использование логики X-CTL для формальной верификации Х-машин
   
   ИТиВС, 2010, № 3,  47–52
2. Описание систем при помощи X-машин
   
   ИТиВС, 2009, № 4,  22–27