Daukševič, D. (2023) “Adaptyvių kompiuterinių sistemų formalus modeliavimas ir verifikavimas taikant statistinį modelių patikrinimo metodą”, Vilnius University Open Series, pp. 15–25. doi:10.15388/LMITT.2023.2.