SpringerLink (Online service), Dastani, M., Hindriks, K. V., & Meyer, J. C. (2010). Specification and verification of multi-agent systems. Springer.
Lua i Stíl Chicago (17ú heag.)SpringerLink (Online service), Mehdi Dastani, Koen V. Hindriks, agus John-Jules Charles Meyer. Specification and Verification of Multi-agent Systems. Boston, MA: Springer, 2010.
Lua MLA (8ú heag.)SpringerLink (Online service), et al. Specification and Verification of Multi-agent Systems. Springer, 2010.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.