MLA

Holzmann, Gerard J, Rajeev Joshi, and Alex Groce. Swarm Verification Techniques. : IEEE Computer Society, 2010.