Specification and Verification of Dynamics in Agent Models (2006)

by T Bosse, C M Jonker, L van der Meij, A Sharpanskykh, J Treur
Venue:Proc. of the Sixth Int. Conference on Intelligent Agent Technology, IAT'06. IEEE Computer