Reference : Easy Yet Hard: Model Checking Strategies of Agents
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/11203
Easy Yet Hard: Model Checking Strategies of Agents
English
Jamroga, Wojciech mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2009
Computational Logic in Multi-Agent Systems: Proceedings of CLIMA IX
LNCS 5405
1–12
No
Yes
International
Computational Logic in Multi-Agent Systems: Proceedings of CLIMA IX
2009
http://hdl.handle.net/10993/11203
5405

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
mcheck08CLIMA-lncs.pdfAuthor preprint668.34 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.