Items Authored/Edited by Hinchey, Michael
![]() | Up a level |
Number of items: 1.
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]