P.: Specification and Dynamic Verification of Agent Properties (0)

by S Costantini, P Dell’Acqua, L M Pereira, Tsintza
Venue:In: Proc. Ninth International Conference on Computational Logic in Multi-Agent Systems (2008