Daukševič D. Adaptyvių kompiuterinių sistemų formalus modeliavimas ir verifikavimas taikant statistinį modelių patikrinimo metodą. open-series [Internet]. 2023 May 11 [cited 2025 Jun. 16];:15-2. Available from: https://www.zurnalai.vu.lt/open-series/article/view/32215