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