RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Ермакова Вера Олеговна
Публикации в базе данных Math-Net.Ru
Трансляция вложенных сетей Петри в классические сети Петри для верификации разверток
Труды ИСП РАН
,
28
:4 (2016),
115–136
©
МИАН
, 2026
