MAZOUZ, Mihoub; MOKHATI, Farid; BADRI, Mourad. Formal Development of Multi-Agent Systems with FPASSI: Towards Formalizing PASSI Methodology using Rewriting Logic. Informatica, [S. l.], v. 41, n. 2, 2017. Disponível em: https://puffbird.ijs.si/index.php/informatica/article/view/1271. Acesso em: 23 jun. 2025.