Chicago

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