Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected Papers

Michael G. Hinchey James L. Rash Walt Truszkowski Christopher Rouff Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected Papers 3228 3-540-24422-0 FAABS Lecture Notes in Computer Science Springer 2005 db/conf/faabs/faabs2004.html