DMCA

Specification and Verification of Agent Interaction Protocols in a Logic-based System (2004)

by Marco Alberti , Davide Daolio , Paolo Torroni , Marco Gavanelli , Evelina Lamma , Paola Mello
Venue:PROCEEDINGS OF THE 2004 ACM SYMPOSIUM ON APPLIED COMPUTING (SAC)
Citations:48 - 9 self