Berrada, M., Bounabat, B. and Harti, M. (2007) “Process Management Oriented Qualitative Verification for Multi-Agents Reactive Decisional Systems”, INFOCOMP Journal of Computer Science, 6(4), pp. 27–35. Available at: https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/192 (Accessed: 18 April 2024).