d'Inverno, Mark and Luck, Michael. 2001. Formal Agent Development: Framework to System. In: Diana Gordon; Michael G. Hinchey; Walt Truszkowski; James L. Rash and Christopher A. Rouff, eds. Formal Approaches to Agent-Based Systems. Berlin, Germany: Springer, pp. 133-147. ISBN 9783540427162 [Book Section]

Preview

Text (Formal Agent Development: Framework to System) Formal Agent Development- Framework to System.pdf Download (93kB) | Preview

Item Type:	Book Section
Identification Number (DOI):	https://doi.org/10.1007/3-540-45484-5_11
Departments, Centres and Research Units:	Computing
Dates:	Date Event 2001 Published
Item ID:	8781
Date Deposited:	19 Sep 2013 14:55
Last Modified:	29 Apr 2020 15:57
URI:	https://research.gold.ac.uk/id/eprint/8781

View statistics for this item...

Edit Record (login required)