Supporting Formal Verification of DIMA Multi-Agents Models: towards a Framework Based on Maude Model Checking.

Noura Boudiaf Farid Mokhati Mourad Badri Supporting Formal Verification of DIMA Multi-Agents Models: towards a Framework Based on Maude Model Checking. 853-875 2008 18 International Journal of Software Engineering and Knowledge Engineering 7 http://dx.doi.org/10.1142/S021819400800391X db/journals/ijseke/ijseke18.html#BoudiafMB08