Kontrimas, Mantas, and Karolis Petrauskas. 2021. “„Redis Cluster“ podėlio Sistemos Tyrimas, Taikant Formalius Metodus”. Vilnius University Open Series, May, 34-43. https://doi.org/10.15388/LMITT.2021.4.