Society Visualiser
From MaRDI portal
Software:32659
No author found.
Related Items (7)
Programming norm change ⋮ Functional completion ⋮ Unnamed Item ⋮ Dynamic specification of open agent systems ⋮ Contracts Violation: Justification via Argumentation ⋮ An executable specification of a formal argumentation protocol ⋮ Multi-modal CTL: completeness, complexity, and an application
This page was built for software: Society Visualiser