Verifying Norm Compliancy of Protocols

H.M. Aldewereld; J. Vazquez Salceda; F.P.M. Dignum; J-J.Ch. Meyer

Verifying Norm Compliancy of Protocols

H.M. Aldewereld, J. Vazquez Salceda, F.P.M. Dignum, J-J.Ch. Meyer

Dept of Information and Computing Sciences

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems
Editors	O. Boissier, J. Padget, V. Dignum, G. Lindemann, E. Matson, S. Ossowski, J. Sichman, J. Vzaquez Salceda
Place of Publication	Berlin/ Heidelberg
Publisher	Springer
Pages	231-245
Number of pages	15
Publication status	Published - 2006

Publication series

Name	LNCS/ LNAI
Number	3913

Cite this

Aldewereld, H.M. ; Vazquez Salceda, J. ; Dignum, F.P.M. et al. / Verifying Norm Compliancy of Protocols. Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems. editor / O. Boissier ; J. Padget ; V. Dignum ; G. Lindemann ; E. Matson ; S. Ossowski ; J. Sichman ; J. Vzaquez Salceda. Berlin/ Heidelberg : Springer, 2006. pp. 231-245 (LNCS/ LNAI; 3913).

@inbook{0eb2025738154ece9549470217d425cc,

title = "Verifying Norm Compliancy of Protocols",

author = "H.M. Aldewereld and {Vazquez Salceda}, J. and F.P.M. Dignum and J-J.Ch. Meyer",

year = "2006",

language = "Undefined/Unknown",

series = "LNCS/ LNAI",

publisher = "Springer",

number = "3913",

pages = "231--245",

editor = "O. Boissier and J. Padget and V. Dignum and G. Lindemann and E. Matson and S. Ossowski and J. Sichman and {Vzaquez Salceda}, J.",

booktitle = "Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems",

}

Verifying Norm Compliancy of Protocols. / Aldewereld, H.M.; Vazquez Salceda, J.; Dignum, F.P.M. et al.
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems. ed. / O. Boissier; J. Padget; V. Dignum; G. Lindemann; E. Matson; S. Ossowski; J. Sichman; J. Vzaquez Salceda. Berlin/ Heidelberg: Springer, 2006. p. 231-245 (LNCS/ LNAI; No. 3913).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

TY - CHAP

T1 - Verifying Norm Compliancy of Protocols

AU - Aldewereld, H.M.

AU - Vazquez Salceda, J.

AU - Dignum, F.P.M.

AU - Meyer, J-J.Ch.

PY - 2006

Y1 - 2006

M3 - Chapter

T3 - LNCS/ LNAI

SP - 231

EP - 245

BT - Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems

A2 - Boissier, O.

A2 - Padget, J.

A2 - Dignum, V.

A2 - Lindemann, G.

A2 - Matson, E.

A2 - Ossowski, S.

A2 - Sichman, J.

A2 - Vzaquez Salceda, J.

PB - Springer

CY - Berlin/ Heidelberg

ER -