TY  - BOOK
AU  - Тренькаев,Вадим Николаевич
ED  - Томский государственный университет.
TI  - Разработка методов синтеза проверяющих тестов для сетей из конечных автоматов: диссертация на соискание ученой степени кандидата технических наук : 05.13.01
PY  - 2000///
CY  - Томск
KW  - диссертации
KW  - теория автоматов
KW  - детерминированные автоматы
KW  - недетерминированные автоматы
KW  - тесты
KW  - синтез
N1  - Библиогр.: л. 177-182
ER  -