APA Style

Dastani, Mehdi, Hindriks, Koen V.. (2010). Specification and verification of multi-agent systems . New York: .

Chicago Style

Dastani, Mehdi, Hindriks, Koen V.. Specification and verification of multi-agent systems. New York: , 2010. E-Book.

MLA Style

Dastani, Mehdi, Hindriks, Koen V.. Specification and verification of multi-agent systems. New York: , 2010. E-Book.

Turabian Style

Dastani, Mehdi, Hindriks, Koen V.. Specification and verification of multi-agent systems. New York: , 2010. E-Book.