RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Летичевский Александр Александрович
Публикации в базе данных Math-Net.Ru
Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений
Тр. СПИИРАН
,
26
(2013),
349–383
©
МИАН
, 2024
