Alessio Lomuscio, Hongyang Qu, Franco Raimondi. MCMAS: an open-source model checker for the verification of multi-agent systems. STTT, 19(1):9-30, 2017. [doi]
@article{LomuscioQR17,
title = {MCMAS: an open-source model checker for the verification of multi-agent systems},
author = {Alessio Lomuscio and Hongyang Qu and Franco Raimondi},
year = {2017},
doi = {10.1007/s10009-015-0378-x},
url = {http://dx.doi.org/10.1007/s10009-015-0378-x},
researchr = {https://researchr.org/publication/LomuscioQR17},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {19},
number = {1},
pages = {9-30},
}