Report copyright - users.encs.concordia.causers.encs.concordia.ca/~bentahar/Publications/SOMET2007.pdf · 239 Model Checking Communicative Agent-Based Systems Jamal 1Bentahar and John-Jules Meyer2 1
Please pass captcha verification before submit form