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