RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Шкляев Дмитрий Александрович
Публикации в базе данных Math-Net.Ru
Дедуктивная верификация протокола скользящего окна
Модел. и анализ информ. систем
,
19
:6 (2012),
57–68
©
МИАН
, 2024
