APA (7th ed.) Citation

SpringerLink (Online service), Dastani, M., Hindriks, K. V., & Meyer, J. C. (2010). Specification and Verification of Multi-agent Systems. Springer US.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Mehdi Dastani, Koen V. Hindriks, and John-Jules Charles Meyer. Specification and Verification of Multi-agent Systems. Boston, MA: Springer US, 2010.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Specification and Verification of Multi-agent Systems. Springer US, 2010.