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. ZUM'95: The Z Formal Specification Notation, 9th International Conference of Z Users, Lecture Notes in Computer Science Springer-Verlag, 48--62.
Download
Full text not available from this repository.
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science |
| Item ID: | 253848 |
| Date Deposited: | 07 Sep 2000 |
| Last Modified: | 02 Mar 2012 14:03 |
| Contributors: | Luck, M. (Author) d'Inverno, M. (Author) Bowen, J. P. (Editor) Hinchey, M. G. (Editor) |
| Date: | 1995 |
| Status: | Published |
| Publisher: | Springer-Verlag |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/253848 |
Actions (login required)
 |
View Item |
