Formal Agent Development: Framework to System
d'Inverno, Mark and Luck, Michael (2001) Formal Agent Development: Framework to System. In, Rash, JL, Rouff, CA, Truszkowski, W, Gordon, D and Hinchey, MG (eds.) Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000. , Springer, 133-147.
This is the latest version of this item.
Download
Full text not available from this repository.
| Item Type: | Book Section |
|---|---|
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science |
| Item ID: | 259105 |
| Date Deposited: | 16 Mar 2004 |
| Last Modified: | 02 Mar 2012 13:40 |
| Contributors: | d'Inverno, Mark (Author) Luck, Michael (Author) Rash, JL (Editor) Rouff, CA (Editor) Truszkowski, W (Editor) Gordon, D (Editor) Hinchey, MG (Editor) |
| Date: | 2001 |
| Status: | Published |
| Publisher: | Springer |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/259105 |
Available Versions of this Item
-
Formal Agent Development: Framework to System. (deposited 12 Mar 2004)
- Formal Agent Development: Framework to System. (deposited 16 Mar 2004) [Currently Displayed]
- Future Directions. (deposited 12 Mar 2004)
Actions (login required)
 |
View Item |
