d'Inverno, M. and Luck, M. (1997) Development and Application of a Formal Agent Framework. Hinchey, M. G. and Shaoying, L. (eds.) ICFEM'97: First IEEE International Conference on Formal Engineering Methods. pp. 222-231 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: 1997
Venue - Dates:
ICFEM'97: First IEEE International Conference on Formal Engineering Methods, 1997-01-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 253843
URI: http://eprints.soton.ac.uk/id/eprint/253843
PURE UUID: 64d26096-ad25-4fbe-afb4-6fe193ee89a3
Catalogue record
Date deposited: 07 Sep 2000
Last modified: 08 Jan 2022 14:41
Export record
Contributors
Author:
M. d'Inverno
Author:
M. Luck
Editor:
M. G. Hinchey
Editor:
L. Shaoying
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.