Rash, James L..Formal approaches to agent-based systems : First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000 : revised papers /.Springer,,c2001..
Hinchey, Michael G..Formal approaches to agent-based systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers /.Springer,,c2005..
