Back
  1. Home
  3. Detailed Reference
Request a copy
Contribution to collective works (Parts of books)
Specification and Verification of Multi-Agent Systems
JAMROGA, Wojciech; Penczek, Wojciech
2012 • In Lectures on Logic and Computation
Permalink
https://hdl.handle.net/10993/11181
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

Files

Full Text
verification12esslli-lncs.pdf
Author preprint (1.04 MB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to


Details


Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2013-040
Author, co-author :
JAMROGA, Wojciech ;  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
Language :
English
Title :
Specification and Verification of Multi-Agent Systems
Publication date :
2012
Main work title :
Lectures on Logic and Computation
Publisher :
Springer
ISBN/EAN :
978-3-642-31484-1
Pages :
210-263
Commentary :
7388 Lecture Notes in Computer Science Lect Notes Comput Sci 1611-3349 0302-9743
Available on ORBilu :
since 18 November 2013

Statistics

Number of views
78 (4 by Unilu)
Number of downloads
1 (1 by Unilu)
More statistics

Bibliography

Similar publications


Contact ORBilu