ZGUROVSKY, Michael; BOLDAK, Andriy; YEFREMOV, Kostiantyn; STATKEVYCH, Vitalii; POKHYLENKO , Oleksandr. A Formal Language for the Analysis of Graph Models and its Software Implementation. Electronics and Control Systems, [S. l.], v. 3, n. 85, p. 18–26, 2025. DOI: 10.18372/1990-5548.85.20427. Disponível em: https://jrnl.kai.edu.ua/index.php/ESU/article/view/20427. Acesso em: 21 oct. 2026.