Kontrimas, M., & Petrauskas, K. (2021). „Redis Cluster“ podėlio sistemos tyrimas, taikant formalius metodus. Vilnius University Open Series, 34-43. https://doi.org/10.15388/LMITT.2021.4