Checking social properties of multi-agent systems with activity theory
Proceedings:
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
ISSN: 0302-9743
Year of publication: 2004
Volume: 3315
Pages: 1-11
Type: Conference paper