Formal Methods and Agent-Based Systems


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.

Download

[img] PDF
Restricted to Registered users only

Download (120Kb)
Item Type: Book Section
Additional Information: Chapter: Agent
Related URLs:
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 261781
Date Deposited: 10 Feb 2006
Last Modified: 27 Mar 2014 20:04
Publisher: Springer
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/261781

Actions (login required)

View Item View Item