Specification and Verification of Multi-agent Systems

MLA

Dastani, Mehdi; Hindriks, Koen V.; Meyer, John-Jules, et al. Specification and Verification of Multi-agent Systems. Springer US, 2010.

APA

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

Chicago

Dastani, Mehdi; Hindriks, Koen V.; Meyer, John-Jules, Mehdi Dastani, Koen V Hindriks, John-Jules Charles Meyer, and John-Jules Meyer. Specification and Verification of Multi-Agent Systems. : Springer US, 2010.