Kontrimas, Mantas, and Karolis Petrauskas. “„Redis Cluster“ podėlio Sistemos Tyrimas, Taikant Formalius Metodus”. Vilnius University Open Series (May 14, 2021): 34–43. Accessed November 21, 2024. https://www.journals.vu.lt/open-series/article/view/24029.