Formal Agent Development: Framework to System
Agentlink Clearinghouse is powered by GNU EPrints developed by the School of Electronics and Computer Science of the University of Southampton.
Type: Book Section

Luck, M. (2001) Formal Agent Development: Framework to System. In: Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000. Lecture Notes in Artificial Intelligence, 1871. Springer-Verlag, Berlin, pp. 133-147.

Full text not available from this archive.

Deposited by AgentLink Archive Administrator on 07 December 2004

Archive Staff Only: edit this record


AgentLink is the European Commission's IST-funded Coordination Action for Agent-Based Computing
and is coordinated by the
University of Liverpool and University of Southampton
If you encounter any problems with these pages please contact