RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Васильева К А
Публикации в базе данных Math-Net.Ru
Верификация автоматных программ с использованием LTL
Модел. и анализ информ. систем
,
14
:1 (2007),
31–43
©
МИАН
, 2024