Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems
Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems
48--62
Luck, M.
da93d46d-96db-4ed6-b54a-bfa53b406af3
d'Inverno, M.
e38be367-6bc1-4172-9a1b-d2331e002ff2
Bowen, J. P.
74faa154-874a-48a6-9059-758596d6b312
Hinchey, M. G.
022c5e94-7d3d-4f7e-ab7e-0335d68f1b04
1995
Luck, M.
da93d46d-96db-4ed6-b54a-bfa53b406af3
d'Inverno, M.
e38be367-6bc1-4172-9a1b-d2331e002ff2
Bowen, J. P.
74faa154-874a-48a6-9059-758596d6b312
Hinchey, M. G.
022c5e94-7d3d-4f7e-ab7e-0335d68f1b04
Luck, M. and d'Inverno, M.
(1995)
Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems.
Bowen, J. P. and Hinchey, M. G.
(eds.)
ZUM'95: The Z Formal Specification Notation, 9th International Conference of Z Users, Lecture Notes in Computer Science.
.
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: 1995
Venue - Dates:
ZUM'95: The Z Formal Specification Notation, 9th International Conference of Z Users, Lecture Notes in Computer Science, 1995-01-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 253848
URI: http://eprints.soton.ac.uk/id/eprint/253848
PURE UUID: d564e675-73b7-416f-9a69-0312c842b9a8
Catalogue record
Date deposited: 07 Sep 2000
Last modified: 10 Dec 2021 20:35
Export record
Contributors
Author:
M. Luck
Author:
M. d'Inverno
Editor:
J. P. Bowen
Editor:
M. G. Hinchey
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics