RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Измайлов Александр Александрович
Публикации в базе данных Math-Net.Ru
Automated analysis of DP-systems using timed-arc Petri nets via TAPAAL tool
Труды ИСП РАН
,
32
:6 (2020),
155–166
©
МИАН
, 2024
