AgentLink.org | European Co-ordination Action for Agent-Based Computing



Industry Action Standardisation Activity Research Action Student Integration Technical Forum Technological Roadmap


Technical Conference: ATC Summer School: EASSS Technical Forum: TFG


AgentLink Newsletter Roadmap Email Update Document Archive





Agent Curricula Agent Job Finder Agent Papers Agent Projects Agent Software << ADD RESOURCES >>


Join AgentLink Members Map People Finder


Contact AgentLink Expenses Claims FAQ Advanced Search

Person: Fleuriot, J.D.

Archive Home
About EPrints
Browse:
    by Subject
    by Year
    by Author

GNU EPrints

Agentlink Clearinghouse is powered by GNU EPrints developed by the School of Electronics and Computer Science of the University of Southampton.

Number of items: 1.

Brak, R.L. and Fleuriot, J.D. and McGinnis, J. (2004) Theorem proving for protocol languages. In: The Second European Workshop on Multi-Agent Systems, Barcelona, Spain.

This list was generated on Mon Sep 10 16:43:49 BST 2007.