Formal Approaches to Agent-Based Systems: Revised Selected Papers/Third International Workshop, FAABS 2004. Greenbelt, MD, USA, April 2004

В2.16, В2.2.

Formal Approaches to Agent-Based Systems: Revised Selected Papers/Third International Workshop, FAABS 2004. Greenbelt, MD, USA, April 2004Ed. by Hinchey M. G., Rash J. L., Truszkowski W. F., Rouff Ch. A..-Berlin, Heidelberg.: Springer, 2005.-Vol. 3228.-291 p.-(Lecture Notes in Artificial Intelligence).