01113naa#a2200205#i#4500001001500000005001700015011001400032100004100046102000700087200023500094210016900329215001000498608004500508675011800553700006400671700007000735700006000805700002800865856001400893RU\\bibl\8917420250408133408.2##a2219-0767##a20241023b2024####ek#y0rusy0150####ca##aRU1#aФормализация верификации топологии и электрической схемы для систем автоматизированного проектированияeЖурнальная статья1#aВоронежcВоронежский государственный лесотехнический университет имени Г.Ф. Морозоваd2024##a9 с.##aЖурнальная статья2local##aНосители вводимых и выводимых данных. Запоминающие среды. 004.08#1aСкворцоваgТатьяна Владимировна#1aЗольниковgКонстантин Владимирович#1aПлотниковgАлексей Михайлович#1aСкоркинgИ. В.4#azh-szf.ru