Walter Truszkowski - Böcker

Formal Approaches to Agent-Based Systems

First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers