TY  - GEN
AU  - Коломеец,Антон Владимирович
AU  - Прокопенко,Светлана Анатольевна
ED  - Томский государственный университет
ED  - Томский государственный университет
TI  - Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата
KW  - синтез тестов
KW  - труды ученых ТГУ
KW  - конечные автоматы
KW  - статьи в сборниках
N1  - Библиогр.: 5 назв
UR  - http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000378804
ER  -