DMCA

Model Checking Normative Agent Organisations ⋆

by Louise Dennis , Nick Tinnemeier , John-jules Meyer