DMCA

Specification and Dynamic Verification of Agent Properties

by Stefania Costantini , Pierangelo Dell'Acqua , Luís Moniz Pereira , Panagiota Tsintza
Venue:IN: PROC. NINTH INTERNATIONAL CONFERENCE ON COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS (2008
Citations:3 - 1 self