Formal Agent Development: Framework to System

d'Inverno, Mark and Luck, Michael (2001) Formal Agent Development: Framework to System. In, Rash, JL, Rouff, CA, Truszkowski, W, Gordon, D and Hinchey, MG (eds.) Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000. , Springer, 133-147.

WarningThere is a more recent version of this item available.


Full text not available from this repository.

Item Type: Book Section
Divisions : Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 259104
Accepted Date and Publication Date:
Date Deposited: 12 Mar 2004
Last Modified: 27 Mar 2014 20:01
Further Information:Google Scholar

Available Versions of this Item

Actions (login required)

View Item View Item