Text this: К использованию логических методов для синтеза и анализа потенциально-импульсных релейных устройств: диссертация на соискание ученой степени кандидата технических наук