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 21, 2025. https://www.zurnalai.vu.lt/open-series/article/view/24029.