RUS  ENG
Full version
PEOPLE

Potiyenko Stepan Valerievich

Publications in Math-Net.Ru

  1. Tools of Integrated Technology for Analysis and Verification of Telecom Application Specs

    Tr. SPIIRAN, 26 (2013),  349–383

© Steklov Math. Inst. of RAS, 2024