https://vital.lib.tsu.ru/vital/access/manager/Index en-us 5 Security checking experiments with mobile services https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000659774 Thu 04 Jul 2019 10:46:11 KRAT ]]> FSM-based sequential circuits optimization by changing initial state of specification https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000891946 Fri 15 Apr 2022 12:40:23 KRAT ]]>