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

M. Luck, M. d'Inverno

Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

15 Citations (Scopus)

Original language	English
Title of host publication	ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users
Editors	J. P. Bowen, M. G. Hinchey
Publisher	Springer Finance
Pages	48-62
Number of pages	15
Volume	967
Publication status	Published - 1995

Name	Lecture Notes in Computer Science
Publisher	Springer

Cite this

@inbook{4808f90c00304f8a8c360fa6719207b7,

title = "Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems",

author = "M. Luck and M. d'Inverno",

year = "1995",

language = "English",

volume = "967",

series = "Lecture Notes in Computer Science",

publisher = "Springer Finance",

pages = "48--62",

editor = "Bowen, {J. P.} and Hinchey, {M. G.}",

booktitle = "ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users",

}

Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems. / Luck, M.; d'Inverno, M.
ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users. ed. / J. P. Bowen; M. G. Hinchey. Vol. 967 Springer Finance, 1995. p. 48-62 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

TY - CHAP

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

AU - Luck, M.

AU - d'Inverno, M.

PY - 1995

Y1 - 1995

M3 - Other chapter contribution

VL - 967

T3 - Lecture Notes in Computer Science

SP - 48

EP - 62

BT - ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users

A2 - Bowen, J. P.

A2 - Hinchey, M. G.

PB - Springer Finance

ER -