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

Статистика просмотров:
Эта страница:92
Страницы публикаций:212
Полные тексты:297
Списки литературы:37

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

Публикации в базе данных Math-Net.Ru Цитирования
2016
1. Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко, “Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM”, Модел. и анализ информ. систем, 23:6 (2016),  688–702  mathnet  mathscinet  elib

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