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]
Abstract is missing.