BOURAHLA, M. Bourahla; BENMOHAMED, M. Model Checking Multi-Agent Systems. Informatica, [S. l.], v. 29, n. 2, Disponível em: https://www.informatica.si/index.php/informatica/article/view/32. Acesso em: 10 jan. 2026.