01166naa#a2200217#i#450# RU\\bibl\89174 /ru/manage/index 20251012183226.7 2219-0767 20241023b2024####ek#y0rusy0150####ca RU Формализация верификации топологии и электрической схемы для систем автоматизированного проектирования Журнальная статья Воронеж Воронежский государственный лесотехнический университет имени Г.Ф. Морозова 2024 9 с. Журнальная статья local Носители вводимых и выводимых данных. Запоминающие среды. 004.08 Скворцова Татьяна Владимировна Зольников Константин Владимирович Плотников Алексей Михайлович Скоркин И. В. fht.editorum.ru /ru/manage/index