@article{Полуэктов2024повышение,
author={Полуэктов, А.В. and Зольников, К.В. and Ачкасов, А.В. and Чевычелов, Ю.А.},
title={Повышение формализации задач верификации топологии и электрической схемы для систем автоматизированного проектирования},
journal={Моделирование систем и процессов},
publisher={Воронежский государственный лесотехнический университет имени Г.Ф. Морозова},
year={2024},
pages={102-111},
volume={17},
issue={1},
}