James L. Rash, Christopher Rouff, Walt Truszkowski, Diana F. Gordon, Michael G. Hinchey, editors, Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers. Volume 1871 of Lecture Notes in Computer Science, Springer, 2001.
Conference: faabs2001
@proceedings{faabs:2000, title = {Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers}, year = {2001}, tags = {systematic-approach}, researchr = {https://researchr.org/publication/faabs%3A2000}, cites = {0}, citedby = {0}, booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers}, conference = {faabs}, editor = {James L. Rash and Christopher Rouff and Walt Truszkowski and Diana F. Gordon and Michael G. Hinchey}, volume = {1871}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-42716-3}, }