Геряк, Ю.; Берко, А. Алгоритмічне забезпечення автоматизованого контролю доступності та актуальності даних у розподілених системах. КІТ 2026, 5-14.