RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Виллаполь Мария Елена
Публикации в базе данных Math-Net.Ru
Prosega/CPN: an extension of CPN Tools for automata-based analysis and system verification
Труды ИСП РАН
,
30
:4 (2018),
107–128
©
МИАН
, 2026
