Model checking norms and sanctions in institutions
Additional information
Authors
Viganò F.,
Colombetti M.
Type
Book chapter
Year
2008
Language
English
Edition
Proceedings of Coordination, Organizations, Institutions, and Norms in Agent Systems III, Revised Selected Papers, LNCS 4870, Springer, Berlin, 316-329
