Luck, M and d'Inverno, M (2006) Formal Methods and Agent-Based Systems. In, Rouff, C, Hinchey, M, Rash, J, Truszkowski, W and Gordon-Spears, D (eds.) NASA Monographs in Systems and Software Engineering. Springer.
Record type:
Book Section
More information
Published date: 2006
Additional Information:
Chapter: Agent
Related URLs:
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 261781
URI: http://eprints.soton.ac.uk/id/eprint/261781
PURE UUID: ca4af04c-0302-4e7d-b1f9-5dfc8fc14c90
Catalogue record
Date deposited: 10 Feb 2006
Last modified: 14 Mar 2024 06:58
Export record
Contributors
Author:
M Luck
Author:
M d'Inverno
Editor:
C Rouff
Editor:
M Hinchey
Editor:
J Rash
Editor:
W Truszkowski
Editor:
D Gordon-Spears
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.