Verifying Large Numbers of Cooperating Adaptive Agents - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Christopher Rouff' in GoogleThis author has not been identified. Look up 'Michael G. Hinchey' in GoogleThis author has not been identified. Look up 'Walt Truszkowski' in GoogleThis author has not been identified. Look up 'James L. Rash' in Google

runs on WebDSL