APA
Mehdi Dastani K. V. H. J. C. M., . (2010). Specification and Verification of Multi-agent Systems. Germany: Springer.
Chicago
Mehdi Dastani Koen V Hindriks John-Jules Charles Meyer, . 2010. Specification and Verification of Multi-agent Systems. Germany: Springer.
Harvard
Mehdi Dastani K. V. H. J. C. M., . (2010). Specification and Verification of Multi-agent Systems. Germany: Springer.
MLA
Mehdi Dastani Koen V Hindriks John-Jules Charles Meyer, . Specification and Verification of Multi-agent Systems. Germany: Springer. 2010.