A tool architecture to verify properties of multiagent system at runtime (2007)

by D Meron, B Mermet
Venue:Programming Multi-Agent Systems, volume 4411 of LNCS