Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems

Luck, M. and d'Inverno, M. (1995) Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems. In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users. Lecture Notes in Computer Science, 967 . Springer, pp. 48-62.

Full text not available from this repository.

Item Type:	Book Section
Subjects:	UNSPECIFIED
ID Code:	3
Deposited By:	Professor Michael Luck
Deposited On:	01 Nov 2007 12:16
Last Modified:	19 Apr 2009 17:19

Repository Staff Only: item control page

Accessibility | Terms and Conditions | Last Modified 01 November 2007