%0 Journal Article %1 journals/scpe/AlbertiCDGLMT07 %A Alberti, Marco %A Chesani, Federico %A Daolio, Davide %A Gavanelli, Marco %A Lamma, Evelina %A Mello, Paola %A Torroni, Paolo %D 2007 %J Scalable Computing: Practice and Experience %K %N 1 %T Specification and Verification of Agent Interaction Protocols in a Logic-based System. %U http://dblp.uni-trier.de/db/journals/scpe/scpe8.html#AlbertiCDGLMT07 %V 8

@article{journals/scpe/AlbertiCDGLMT07, added-at = {2023-12-12T18:42:38.000+0100}, author = {Alberti, Marco and Chesani, Federico and Daolio, Davide and Gavanelli, Marco and Lamma, Evelina and Mello, Paola and Torroni, Paolo}, biburl = {https://www.bibsonomy.org/bibtex/2228ea2a269d68e6920a81fddd69a6270/admin}, ee = {http://www.scpe.org/index.php/scpe/article/view/393}, interhash = {1626e963b5a9f850275b605c486810ce}, intrahash = {228ea2a269d68e6920a81fddd69a6270}, journal = {Scalable Computing: Practice and Experience}, keywords = {}, number = 1, timestamp = {2023-12-12T18:42:38.000+0100}, title = {Specification and Verification of Agent Interaction Protocols in a Logic-based System.}, url = {http://dblp.uni-trier.de/db/journals/scpe/scpe8.html#AlbertiCDGLMT07}, volume = 8, year = 2007 }