Davide Daolio

Publication Activity (10 Years)

Years Active: 2004-2007
Publications (10 Years): 0

Publications

Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
Specification and Verification of Agent Interaction Protocols in a Logic-based System. Scalable Comput. Pract. Exp. 8 (1) (2007)
Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello
Specification and verification of agent interaction protocols in a logic-based system. SAC (2004)