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, pp. 133-147.
Record type:
Book Section
This record has no associated files available for download.
More information
Published date: 2001
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 259105
URI: http://eprints.soton.ac.uk/id/eprint/259105
PURE UUID: 1bfa6fd8-35d3-4f68-b1f7-93022851f2a6
Catalogue record
Date deposited: 16 Mar 2004
Last modified: 08 Jan 2022 14:45
Export record
Contributors
Author:
Mark d'Inverno
Author:
Michael Luck
Editor:
JL Rash
Editor:
CA Rouff
Editor:
W Truszkowski
Editor:
D Gordon
Editor:
MG Hinchey
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.