Christopher Rouff, Michael G. Hinchey, Walt Truszkowski, James L. Rash. Verifying Large Numbers of Cooperating Adaptive Agents. In 11th International Conference on Parallel and Distributed Systems (ICPADS 2005), 20-22 July 2005, Fuduoka, Japan, 2 Volumes. pages 391-397, IEEE Computer Society, 2005. [doi]
Abstract is missing.