Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

John-Jules Meyer
Universiteit Utrecht, The Netherlands

L. Aştef─ânoaei, M. Dastani, J.-J. Meyer, F.S. de Boer:
On the Semantics and Verification of Normative Multi-Agent Systems
/jucs_15_13/on_the_semantics_and
page 2629 - 2652
Vol.15 / Issue 13