Reference : Specification and Verification of Multi-Agent Systems
Parts of books : Contribution to collective works
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/11181
Specification and Verification of Multi-Agent Systems
English
Jamroga, Wojciech mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Interdisciplinary Centre for Security, Reliability and Trust (SNT)]
Penczek, Wojciech [Institute of Computer Science, PAS, and University of Natural Science and Humanities, Poland]
2012
Lectures on Logic and Computation
Springer
210-263
No
978-3-642-31484-1
http://hdl.handle.net/10993/11181
7388
Lecture Notes in Computer Science
Lect Notes Comput Sci
1611-3349
0302-9743

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
verification12esslli-lncs.pdfAuthor preprint1.01 MBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.