%0 Conference Paper %1 conf/sac/AlbertiDTGLM04 %A Alberti, Marco %A Daolio, Davide %A Torroni, Paolo %A Gavanelli, Marco %A Lamma, Evelina %A Mello, Paola %B SAC %D 2004 %E Haddad, Hisham %E Omicini, Andrea %E Wainwright, Roger L. %E Liebrock, Lorie M. %I ACM %K dblp %P 72-78 %T Specification and verification of agent interaction protocols in a logic-based system. %U http://dblp.uni-trier.de/db/conf/sac/sac2004.html#AlbertiDTGLM04 %@ 1-58113-812-1

@inproceedings{conf/sac/AlbertiDTGLM04, added-at = {2022-01-03T00:00:00.000+0100}, author = {Alberti, Marco and Daolio, Davide and Torroni, Paolo and Gavanelli, Marco and Lamma, Evelina and Mello, Paola}, biburl = {https://www.bibsonomy.org/bibtex/2fb59f15e45eac6536473f386862c6451/dblp}, booktitle = {SAC}, crossref = {conf/sac/2004}, editor = {Haddad, Hisham and Omicini, Andrea and Wainwright, Roger L. and Liebrock, Lorie M.}, ee = {https://doi.org/10.1145/967900.967918}, interhash = {dc98dce30d1f672d609cdf43ed409ffe}, intrahash = {fb59f15e45eac6536473f386862c6451}, isbn = {1-58113-812-1}, keywords = {dblp}, pages = {72-78}, publisher = {ACM}, timestamp = {2024-04-10T21:19:15.000+0200}, title = {Specification and verification of agent interaction protocols in a logic-based system.}, url = {http://dblp.uni-trier.de/db/conf/sac/sac2004.html#AlbertiDTGLM04}, year = 2004 }