4 papers:
CAV-2014-CermakLMM #logic #model checking #named #specification #verification- MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications (PC, AL, FM, AM), pp. 525–532.
QAPL-2012-BelardinelliGL #automation #protocol #quantum #using #verification- Automated Verification of Quantum Protocols using MCMAS (FB, PG, AL), pp. 48–62.
CAV-2009-LomuscioQR #model checking #multi #named #verification- MCMAS: A Model Checker for the Verification of Multi-Agent Systems (AL, HQ, FR), pp. 682–688.
TACAS-2006-LomuscioR #model checking #multi #named- MCMAS: A Model Checker for Multi-agent Systems (AL, FR), pp. 450–454.