Specification and Verification of Multi-Agent Systems

JAMROGA, Wojciech; Penczek, Wojciech

Demander un accès

Contribution à des ouvrages collectifs (Parties d’ouvrages)

Specification and Verification of Multi-Agent Systems

JAMROGA, Wojciech; Penczek, Wojciech

2012 • In Lectures on Logic and Computation

Permalien
https://hdl.handle.net/10993/11181

Documents (1)Envoyer vers Détails Statistiques Bibliographie Publications similaires

Documents

Texte intégral

verification12esslli-lncs.pdf

Preprint Auteur (1.04 MB)

Demander un accès

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers

RIS BibTex APA Chicago Permalink X Linkedin

Détails

Disciplines :

Sciences informatiques

Identifiants :

UNILU:UL-CONFERENCE-2013-040

Auteur, co-auteur :

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

Langue du document :

Anglais

Titre :

Specification and Verification of Multi-Agent Systems

Date de publication/diffusion :

2012

Titre de l'ouvrage principal :

Lectures on Logic and Computation

Maison d'édition :

Springer

ISBN/EAN :

978-3-642-31484-1

Pagination :

210-263

Commentaire :

7388 Lecture Notes in Computer Science Lect Notes Comput Sci 1611-3349 0302-9743

Disponible sur ORBilu :

depuis le 18 novembre 2013

Statistiques

Nombre de vues

112 (dont 4 Unilu)

Nombre de téléchargements

1 (dont 1 Unilu)

Voir plus de statistiques