01165naa#a2200205#i#4500001001500000005001700015011001400032100004100046102000700087200026500094210016900359215001000528608004500538675010900583700006800692700007000760700006400830700005000894856001500944RU\\bibl\7615720250217143606.1##a2219-0767##a20240324b2024####ek#y0rusy0150####ca##aRU1#aПовышение формализации задач верификации топологии и электрической схемы для систем автоматизированного проектированияeЖурнальная статья1#aВоронежcВоронежский государственный лесотехнический университет имени Г.Ф. Морозоваd2024##a9 с.##aЖурнальная статья2local##aПрикладные информационные (компьютерные) технологии. 004.9#1aПолуэктовgАлександр Владимирович#1aЗольниковgКонстантин Владимирович#1aАчкасовgАлександр Владимирович#1aЧевычеловgЮрий Акимович4#anaukaru.ru