Model checking norms and sanctions in institutions
Informazioni aggiuntive
Autori
Viganò F.,
Colombetti M.
Tipo
Contributo in libro
Anno
2008
Lingua
Inglese
Edizione
Proceedings of Coordination, Organizations, Institutions, and Norms in Agent Systems III, Revised Selected Papers, LNCS 4870, Springer, Berlin, 316-329