@article{Skvortsova2024formalization,
author={Skvortsova, T.V. and Zolnikov, K.V. and Plotnikov, A.M. and Scorkin, I.V.},
title={Formalization of topology and electrical circuit verification for computer-aided design systems},
journal={Modeling of systems and processes},
publisher={FSBE Institution of Higher Education Voronezh State University of Forestry and Technologies named after G.F. Morozov},
year={2024},
pages={61-70},
volume={17},
issue={3},
}