id: 70892162
dt: a
an: 70892162
au: Astefanoaei, Lacramioara; Dastani, Mehdi; Meyer, John-Jules Ch.; De Boer,
    Frank S.
ti: A verification framework for normative multi-agent systems
so: PRIMA, 54-65 (2008).
py: 2008
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-540-89674-6_9