Specification and Verification of Agent Interaction Protocols in a Logic-based System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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 Computing: Practice and Experience, 8(1), 2007. [doi]

This author has not been identified. Look up 'Marco Alberti' in GoogleThis author has not been identified. Look up 'Federico Chesani' in GoogleThis author has not been identified. Look up 'Davide Daolio' in GoogleThis author has not been identified. Look up 'Marco Gavanelli' in GoogleThis author has not been identified. Look up 'Evelina Lamma' in GoogleThis author has not been identified. Look up 'Paola Mello' in GoogleThis author has not been identified. Look up 'Paolo Torroni' in Google

runs on WebDSL