Подробное описание документа
Статья
Твердохлебов В. А.
Методы построения универсальных тестов для конечных автоматов / Твердохлебов В. А. // Автоматика и телемеханика. - 2005. - № 1. -
681.5 Автоматика. Теория, методы расчета и аппаратура систем автоматического управления и регулирования. Техническая кибернетика. Техника автоматизации