Formal Agent Development: Framework to System
d'Inverno, Mark and Luck, Michael.
2001.
Formal Agent Development: Framework to System.
In: Diana Gordon; Michael G. Hinchey; Walt Truszkowski; James L. Rash and Christopher A. Rouff, eds.
Formal Approaches to Agent-Based Systems.
Berlin, Germany: Springer, pp. 133-147.
ISBN 9783540427162
[Book Section]
Item Type | Book Section |
---|---|
Departments, Centres and Research Units | Computing |
Date Deposited | 19 Sep 2013 14:55 |
Last Modified | 29 Apr 2020 15:57 |
-
picture_as_pdf - Formal Agent Development- Framework to System.pdf
Share this file
Downloads