%0 Journal Article %1 journals/sttt/LomuscioQR17 %A Lomuscio, Alessio %A Qu, Hongyang %A Raimondi, Franco %D 2017 %J Int. J. Softw. Tools Technol. Transf. %K %N 1 %P 9-30 %T MCMAS: an open-source model checker for the verification of multi-agent systems. %U http://dblp.uni-trier.de/db/journals/sttt/sttt19.html#LomuscioQR17 %V 19

@article{journals/sttt/LomuscioQR17, added-at = {2023-12-14T14:14:47.000+0100}, author = {Lomuscio, Alessio and Qu, Hongyang and Raimondi, Franco}, biburl = {https://www.bibsonomy.org/bibtex/2fce3a0908b2fc5730e99320d4bcdaecd/admin}, ee = {https://www.wikidata.org/entity/Q59615291}, interhash = {ddee1c8d69b34d31372a0f04b6209e5f}, intrahash = {fce3a0908b2fc5730e99320d4bcdaecd}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {}, number = 1, pages = {9-30}, timestamp = {2023-12-14T14:14:47.000+0100}, title = {MCMAS: an open-source model checker for the verification of multi-agent systems.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt19.html#LomuscioQR17}, volume = 19, year = 2017 }