@inproceedings{35e72845dcda48969f4096d6bf3dd7fb,
title = "Verifying Norm Compliancy of Protocols",
keywords = "Wiskunde en Informatica (WIIN)",
author = "H.M. Aldewereld and J. V{\'a}zquez-Salceda and F.P.M. Dignum and J-J.Ch. Meyer",
year = "2005",
language = "Undefined/Unknown",
pages = "47--60",
editor = "G. Lindemann and S. Ossowski and J. Padget and J. V{\'a}zquez-Salceda",
booktitle = "AAMAS'05 International Workshop on Agents, Norms and Institutions for Regulated Multi Agent Systems (ANI@REM 2005)",
}