Number of items: 1.
Alberti, M. and Daolio, D. and Gavanelli, M. and Lamma, E. and Mello, P. and Torroni, P.
Specification and verification of agent interaction protocols in a logic-based system.
Proceedings of the 19th Annual ACM Symposium on Applied Computing (SAC 2004). Special Track on Agents, Interactions, Mobility, and Systems (AIMS), Nicosa, Cyprus, Mar. 14-17 2004.
ACM Press, .
This list was generated on Mon Sep 10 16:42:36 BST 2007.