Research Online

Logo

Goldsmiths - University of London

Formal Methods and Agent-Based Systems

Luck, Michael and d'Inverno, Mark. 2006. Formal Methods and Agent-Based Systems. In: Christopher A. Rouff; Michael Hinchey; James Rash; Walter Truszkowski and Diana Gordon-Spears, eds. Agent Technology from a Formal Perspective. Berlin, Germany: Springer, pp. 65-96. ISBN 9781852339470 [Book Section]

[img]
Preview
Text (Formal Methods and Agent-Based Systems)
Formal Methods and Agent-Based Systems.pdf

Download (123kB) | Preview

Item Type:

Book Section

Identification Number (DOI):

https://doi.org/10.1007/1-84628-271-3_3

Departments, Centres and Research Units:

Computing

Dates:

DateEvent
2006Published

Item ID:

8804

Date Deposited:

19 Sep 2013 14:54

Last Modified:

11 Jul 2018 17:18

URI:

http://research.gold.ac.uk/id/eprint/8804

View statistics for this item...

Edit Record Edit Record (login required)