https://vital.lib.tsu.ru/vital/access/manager/Index ${session.getAttribute("locale")} 5 Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000378804 Wed 31 May 2017 09:52:50 KRAT ]]>