Compilation-semantic verification of time-parameterized multi-parallel programs for information management systems. МІА [Internet]. 2022 Dec. 26 [cited 2026 Oct. 25];56:43-50. Available from: https://periodicals.karazin.ua/mia/article/view/27690