Reference : Model Checking Logics of Strategic Ability: Complexity
Parts of books : Contribution to collective works
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/11194
Model Checking Logics of Strategic Ability: Complexity
English
Bulling, N. [> >]
Dix, J. [> >]
Jamroga, Wojciech mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2010
Specification and Verification of Multi-Agent Systems
Dastani, M.
Hindriks, K.
Meyer, J.-J.
Springer
125–159
Yes
http://hdl.handle.net/10993/11194

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
mcheck10verificationbook.pdfAuthor preprint603.56 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.