Berrada M, Bounabat B, Harti M. Process Management Oriented Qualitative Verification for Multi-Agents Reactive Decisional Systems. INFOCOMP Journal of Computer Science [Internet]. 2007 Dec. 1 [cited 2024 Apr. 23];6(4):27-35. Available from: https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/192