Formal frameworks for verifying normative multi-agent systems

DOI10.1007/978-3-319-30734-3_20zbMATH Open1475.68189OpenAlexW2344946032MaRDI QIDQ2026803

Author name not available (Why is that?)

Publication date: 20 May 2021

Full work available at URL: http://dspace.library.uu.nl/handle/1874/343758

Mathematics Subject Classification ID

No records found.

This page was built for publication: Formal frameworks for verifying normative multi-agent systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2026803)