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