TY  - RPRT
TI  - MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications
AU  - Petr Čermák
AU  - Alessio Lomuscio
AU  - Fabio Mogavero
AU  - Aniello Murano
PY  - 2014
UR  - https://arxiv.org/abs/1402.2948
ID  - 1402.2948
ER  -