Kontrimas M, Petrauskas K. „Redis Cluster“ podėlio sistemos tyrimas, taikant formalius metodus. open-series [Internet]. 2021 May 14 [cited 2025 May 6];:34-43. Available from: https://www.zurnalai.vu.lt/open-series/article/view/24029