Development and application of a formal agent framework
d'Inverno, Mark; and Luck, Michael.
1997.
'Development and application of a formal agent framework'.
In: Proceedings First IEEE International Conference on Formal Engineering Methods. Hiroshima, Japan.
[Conference or Workshop Item]
Item Type | Conference or Workshop Item (Paper) |
---|---|
Departments, Centres and Research Units | Computing |
Date Deposited | 19 Sep 2013 14:56 |
Last Modified | 29 Apr 2020 15:57 |
-
picture_as_pdf - 'Development and application of a formal agent framework.pdf
Share this file
Downloads