Lomuscio, A., Qu, H., & Raimondi, F. (2017). MCMAS: An open-source model checker for the verification of multi-agent systems. International journal on software tools for technology transfer, 19(1), 9-30. https://doi.org/10.1007/s10009-015-0378-x
Citácia podle Chicago (17th ed.)Lomuscio, Alessio, Hongyang Qu, a Franco Raimondi. "MCMAS: An Open-source Model Checker for the Verification of Multi-agent Systems." International Journal on Software Tools for Technology Transfer 19, no. 1 (2017): 9-30. https://doi.org/10.1007/s10009-015-0378-x.
Citácia podľa MLA (8th ed.)Lomuscio, Alessio, et al. "MCMAS: An Open-source Model Checker for the Verification of Multi-agent Systems." International Journal on Software Tools for Technology Transfer, vol. 19, no. 1, 2017, pp. 9-30, https://doi.org/10.1007/s10009-015-0378-x.