Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Соболев Михаил Сергеевич
В базах данных
Публикаций: 2
Научных статей: 2

Статистика просмотров:
Эта страница:142
Страницы публикаций:204
Полные тексты:130
Списки литературы:4

https://www.mathnet.ru/rus/person162791
Список публикаций на Google Scholar

Публикации в базе данных Math-Net.Ru Цитирования
2010
1. М. С. Соболев, “Использование логики X-CTL для формальной верификации Х-машин”, ИТиВС, 2010, № 3,  47–52  mathnet
2009
2. М. С. Соболев, “Описание систем при помощи X-машин”, ИТиВС, 2009, № 4,  22–27  mathnet  elib

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2026