Text this: Разработка алгоритмов логического синтеза диагностируемых и функционально устойчивых дискретных устройств: автореферат диссертации на соискание ученой степени кандидата технических наук; спец. 05.13.01