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