Norm Verification and Analysis of Electronic Institutions

Declarative Agent Languages and Technologies II - Lecture Notes in Computer Science ◽

10.1007/11493402_10 ◽

2005 ◽

pp. 166-182 ◽

Cited By ~ 11

Author(s):

Wamberto W. Vasconcelos

Download Full-text