Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
Screen decoration graphicsLogo

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
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