Kontrimas, M.; Petrauskas, K. „Redis Cluster“ podėlio Sistemos Tyrimas, Taikant Formalius Metodus. open-series 2021, 34-43. https://doi.org/10.15388/LMITT.2021.4.