scientific article; zbMATH DE number 5051662
From MaRDI portal
Publication:5486072
zbMath1097.68077MaRDI QIDQ5486072
No author found.
Publication date: 6 September 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Specification and Verification of Multi-Agent Systems ⋮ Exponential improvement of time complexity of model checking for multiagent systems with perfect recall ⋮ Systems of agents controlled by logical programs: complexity of verification
This page was built for publication:
