A Contribution to the Formal Checking of Multi-Agents Systems.

Faiza Belala, A. Boucherit

Browse the full AICCSA paper archive.