Citação APA (7ª ed.)
Mehdi Dastani, K. V. H. Specification and Verification of Multi-agent Systems. Springer.
Citação do estilo Chicago (17ª ed.)
Mehdi Dastani, Koen V. Hindriks. Specification and Verification of Multi-agent Systems. Nueva York, EUA: Springer.
Citação MLA (9ª ed.)
Mehdi Dastani, Koen V. Hindriks. Specification and Verification of Multi-agent Systems. Springer.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.