Bordini, R. H., Fisher, M., Visser, W., & Wooldridge, M. (2006). Verifying Multi-agent Programs by Model Checking. Autonomous agents and multi-agent systems, 12(2), 239-256. https://doi.org/10.1007/s10458-006-5955-7
Chicago-Zitierstil (17. Ausg.)Bordini, Rafael H., Michael Fisher, Willem Visser, und Michael Wooldridge. "Verifying Multi-agent Programs by Model Checking." Autonomous Agents and Multi-agent Systems 12, no. 2 (2006): 239-256. https://doi.org/10.1007/s10458-006-5955-7.
MLA-Zitierstil (9. Ausg.)Bordini, Rafael H., et al. "Verifying Multi-agent Programs by Model Checking." Autonomous Agents and Multi-agent Systems, vol. 12, no. 2, 2006, pp. 239-256, https://doi.org/10.1007/s10458-006-5955-7.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.