Protocol Specification and Verification by Using Computational Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, Sergio Storari. Protocol Specification and Verification by Using Computational Logic. In Flavio Corradini, Flavio De Paoli, Emanuela Merelli, Andrea Omicini, editors, WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop From Objects to Agents : Simulation and Formal Analysis of Complex Systems, 14-16 November 2005, Camerino, MC, Italy. pages 184-192, Pitagora Editrice Bologna, 2005. [doi]

This author has not been identified. Look up 'Federico Chesani' in GoogleThis author has not been identified. Look up 'Anna Ciampolini' in GoogleThis author has not been identified. Look up 'Paola Mello' in GoogleThis author has not been identified. Look up 'Marco Montali' in GoogleThis author has not been identified. Look up 'Paolo Torroni' in GoogleThis author has not been identified. Look up 'Marco Alberti' in GoogleThis author has not been identified. Look up 'Sergio Storari' in Google

runs on WebDSL