Formal Methods and Agent-Based Systems

Luck, Michael and d'Inverno, Mark (2006) Formal Methods and Agent-Based Systems. In: Agent Technology from a Formal Perspective. NASA Monographs in Systems and Software Engineering . Springer, pp. 65-96.

Full text not available from this repository.

Item Type:	Book Section
Subjects:	UNSPECIFIED
ID Code:	770
Deposited By:	Professor Michael Luck
Deposited On:	02 Nov 2007 20:26
Last Modified:	18 Apr 2009 20:03

Repository Staff Only: item control page

Accessibility | Terms and Conditions | Last Modified 01 November 2007