RUS
ENG
Full version
PEOPLE
Shklyaev Dmitrii Aleksandrovich
Publications in Math-Net.Ru
Deductive Verification of the Sliding Window Protocol
Model. Anal. Inform. Sist.
,
19
:6 (2012),
57–68
©
Steklov Math. Inst. of RAS
, 2024
