RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Михайлов Владимир Евгеньевич
Публикации в базе данных Math-Net.Ru
Tool for behavioral analysis of well-structured transition systems
Труды ИСП РАН
,
29
:4 (2017),
175–190
©
МИАН
, 2024
