Type: Book Section
Alberti, M. and Gavanelli, M. and Lamma, E. and Mello, P. and Torroni, P.
Specification and verification of agent interactions using social integrity constraints.
Proceedings of the Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2003, Eindhoven, the Netherlands, 29 June 2003.
Electronic Notes in Theoretical Computer Science, 85 (2).
Full text not available from this archive.
Archive Staff Only: edit this record