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

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