TY  - SER
AU  - Евтушенко,Нина Владимировна
AU  - Петренко,Александр Федорович
ED  - Томский государственный университет
TI  - К синтезу проверяющих тестов для недетерминированных автоматов относительно редукции
KW  - недетерминированные автоматы
KW  - проверяющие тесты
KW  - безусловные тесты
KW  - конкатенация
KW  - идентификаторы
KW  - статьи в журналах
N1  - Библиогр.: 2 назв
UR  - http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000472663
ER  -