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]

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:	Date Event 2006 Published
Item ID:	8804
Date Deposited:	19 Sep 2013 14:54
Last Modified:	29 Apr 2020 15:57
URI:	https://research.gold.ac.uk/id/eprint/8804

View statistics for this item...

Edit Record (login required)