«Features of Automation of Gas Meter Verification Process Using Bell-Provers». Моделювання, керування та інформаційні технології, no. 8 (Листопад 6, 2025): 359–361. дата звернення Квітень 2, 2026. https://www.mcitdoc.org.ua/index.php/ITConf/article/view/663.