Third NASA-Goddard/IEEE Workshop on
Formal Approaches to Agent-Based Systems
"FAABS III"
Mike Hinchey, NASA GSFC (USA)
Jim Rash, NASA GSFC (USA)
Walt Truszkowski, NASA GSFC (USA)
Chris Rouff, SAIC (USA)