Model Checking Communicative Agent-Based Systems.

Jamal Bentahar, John-Jules Ch. Meyer

Browse the full SoMeT paper archive.