- Record: found
- Abstract: not found
- Book Chapter: not found
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications
Petr CERMÁK, Alessio Lomuscio, Fabio Mogavero, Aniello Murano, P Cermak, A LOMUSCIO, F. Mogavero, A. Murano
2014
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.