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]
@inproceedings{ChesaniCMMTAS05,
title = {Protocol Specification and Verification by Using Computational Logic},
author = {Federico Chesani and Anna Ciampolini and Paola Mello and Marco Montali and Paolo Torroni and Marco Alberti and Sergio Storari},
year = {2005},
url = {http://lia.deis.unibo.it/books/woa2005/papers/26.pdf},
tags = {protocol, logic},
researchr = {https://researchr.org/publication/ChesaniCMMTAS05},
cites = {0},
citedby = {0},
pages = {184-192},
booktitle = {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},
editor = {Flavio Corradini and Flavio De Paoli and Emanuela Merelli and Andrea Omicini},
publisher = {Pitagora Editrice Bologna},
isbn = {88-371-1590-3},
}