Verifying Dribble agents. In: (2009)

by D T Trang, B Logan, N Alechina
Venue:Seventh International Workshop on Declarative Agent Languages and Technologies (DALT 2009), Workshop Notes. Budapest Hungary,