Verifying Norm Compliance of Protocols

H.M. Aldewereld; J. Vázquez-Salceda; F.P.M. Dignum; J-J.Ch. Meyer

Verifying Norm Compliance of Protocols

H.M. Aldewereld, J. Vázquez-Salceda, F.P.M. Dignum, J-J.Ch. Meyer

Dept of Information and Computing Sciences

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

Original language	Undefined/Unknown
Title of host publication	Coordination, Organisation, Institutions and Norms in Agent System I
Editors	O. Bossier, J. Padget, V. Dignum, G. Lindeman, E. Matson, S. Ossowski, J. Sichman, J. Vázquez-Salceda
Place of Publication	Berlin
Publisher	Springer
Pages	222-236
Number of pages	15
Publication status	Published - 2006

Cite this

@inproceedings{412dc88d64924cc3b48538335d5d786d,

title = "Verifying Norm Compliance of Protocols",

author = "H.M. Aldewereld and J. V{\'a}zquez-Salceda and F.P.M. Dignum and J-J.Ch. Meyer",

year = "2006",

language = "Undefined/Unknown",

pages = "222--236",

editor = "O. Bossier and J. Padget and V. Dignum and G. Lindeman and E. Matson and S. Ossowski and J. Sichman and J. V{\'a}zquez-Salceda",

booktitle = "Coordination, Organisation, Institutions and Norms in Agent System I",

publisher = "Springer",

}

Verifying Norm Compliance of Protocols. / Aldewereld, H.M.; Vázquez-Salceda, J.; Dignum, F.P.M. et al.
Coordination, Organisation, Institutions and Norms in Agent System I. ed. / O. Bossier; J. Padget; V. Dignum; G. Lindeman; E. Matson; S. Ossowski; J. Sichman; J. Vázquez-Salceda. Berlin: Springer, 2006. p. 222-236.

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

TY - GEN

T1 - Verifying Norm Compliance of Protocols

AU - Aldewereld, H.M.

AU - Vázquez-Salceda, J.

AU - Dignum, F.P.M.

AU - Meyer, J-J.Ch.

PY - 2006

Y1 - 2006

M3 - Conference contribution

SP - 222

EP - 236

BT - Coordination, Organisation, Institutions and Norms in Agent System I

A2 - Bossier, O.

A2 - Padget, J.

A2 - Dignum, V.

A2 - Lindeman, G.

A2 - Matson, E.

A2 - Ossowski, S.

A2 - Sichman, J.

A2 - Vázquez-Salceda, J.

PB - Springer

CY - Berlin

ER -