A Contribution to the Formal Checking of Multi-Agents Systems. - Faiza Belala; A. Boucherit (AICCSA, 2006)