RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Стененко Александр Александрович
Публикации в базе данных Math-Net.Ru
Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM
Модел. и анализ информ. систем
,
23
:6 (2016),
688–702
©
МИАН
, 2024