Zgurovsky M, Boldak A, Yefremov K, Statkevych V, Pokhylenko O. A Formal Language for the Analysis of Graph Models and its Software Implementation. ECS [Internet]. 2025 Sep. 29 [cited 2026 Feb. 20];3(85):18-26. Available from: https://jrnl.nau.edu.ua/index.php/ESU/article/view/20427