Number of items: 1.
2006
![[img]](/8804/1.hassmallThumbnailVersion/Formal%20Methods%20and%20Agent-Based%20Systems.pdf)
 Preview |
Luck, Michael and
d'Inverno, Mark.
2006.
Formal Methods and Agent-Based Systems.
In:
Christopher A. Rouff;
Michael Hinchey;
James Rash;
Walter Truszkowski and
Diana Gordon-Spears, eds.
Agent Technology from a Formal Perspective.
Berlin, Germany: Springer, pp. 65-96.
ISBN 9781852339470
[Book Section]
This list was generated on Mon Nov 25 04:01:41 2024 GMT.
