Formal Agent Development: Framework to System

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]

[img]
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:

DateEvent
2001Published

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 Edit Record (login required)