DAUKŠEVIČ, Daniel. Adaptyvių kompiuterinių sistemų formalus modeliavimas ir verifikavimas taikant statistinį modelių patikrinimo metodą. Vilnius University Open Series, [S. l.], p. 15–25, 2023. DOI: 10.15388/LMITT.2023.2. Disponível em: https://www.zurnalai.vu.lt/open-series/article/view/32215. Acesso em: 21 apr. 2025.