Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers

James L. Rash Christopher Rouff Walt Truszkowski Diana F. Gordon Michael G. Hinchey Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers FAABS Lecture Notes in Computer Science 1871 Springer 2001 3-540-42716-3 db/conf/faabs/faabs2000.html