TY - BOOK AU - Hinchey, Michael G. TI - Formal Approaches To Agent-Based Systems, Third International Workshop, Faabs 2004, Greenbelt, Md, April 26-27, 2004, Revised Selected Papers SN - 9783540244226 U1 - 006.3 PY - 2005/// PB - Springer KW - Computer Science ER -