RUS
ENG
Full version
PEOPLE
Letychevskyi Oleksandr Alexandrovich
Publications in Math-Net.Ru
Tools of Integrated Technology for Analysis and Verification of Telecom Application Specs
Tr. SPIIRAN
,
26
(2013),
349–383
©
Steklov Math. Inst. of RAS
, 2024
