Merkliste 
 1 Ergebnisse 
 
1

Verifying and Explaining Agent Behavior in an Implemented A..:

, In: Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3,
Lam, Dung N. ; Barber, K. Suzanne - p. 1226-1227 , 2004