Formal Approaches to Agent-Based Systems
3. FAABS 2004: Greenbelt, MD, USA
- Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff:
Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3228, Springer 2005, ISBN 3-540-24422-0 [contents]
2. FAABS 2002: Greenbelt, MD, USA
- Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff, Diana F. Gordon-Spears:
Formal Approaches to Agent-Based Systems, Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers. Lecture Notes in Computer Science 2699, Springer 2003, ISBN 3-540-40665-4 [contents]
1. FAABS 2000: Greenbelt, MD, USA
- James L. Rash, Christopher A. 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. Lecture Notes in Computer Science 1871, Springer 2001, ISBN 3-540-42716-3 [contents]