@article{Poluektov2024increasing,
author={Poluektov, A.V. and Zolnikov, K.V. and Achkasov, A.V. and Chevychelov, Y.A.},
title={Increasing formalization of tasks of verification of topology and electrical diagram for CAD-CAM 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={102-111},
volume={17},
issue={1},
}