Specification and Verification of Multi-agent Systems
From MaRDI portal
Publication:3576330
DOI10.1007/978-1-4419-6984-2zbMath1201.68005OpenAlexW1663238764MaRDI QIDQ3576330
No author found.
Publication date: 30 July 2010
Full work available at URL: https://doi.org/10.1007/978-1-4419-6984-2
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)
Related Items (2)
A logic of argumentation for specification and verification of abstract argumentation frameworks ⋮ Where logic and agents meet
This page was built for publication: Specification and Verification of Multi-agent Systems