|
Type: Book Section
Alberti, M. and Gavanelli, M. and Lamma, E. and Mello, P. and Torroni, P.
(2003)
Specification and verification of agent interactions using social integrity constraints.
In:
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).
Elsevier Science.
Full text not available from this archive.
Archive Staff Only: edit this record
|
