BERRADA, Mohammed; BOUNABAT, Bouchaib; HARTI, Mostafa. Process Management Oriented Qualitative Verification for Multi-Agents Reactive Decisional Systems. INFOCOMP Journal of Computer Science, [S. l.], v. 6, n. 4, p. 27–35, 2007. Disponível em: https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/192. Acesso em: 29 nov. 2024.