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