Games with Opacity Condition

Bastien Maubert 1 Sophie Pinchinat 1
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Type de document :
Communication dans un congrès
RP, Sep 2009, Paris, France. pp.166-175, 2009
Liste complète des métadonnées

https://hal.inria.fr/inria-00555749
Contributeur : Sophie Pinchinat <>
Soumis le : vendredi 14 janvier 2011 - 13:06:59
Dernière modification le : vendredi 16 novembre 2018 - 01:24:47

Identifiants

  • HAL Id : inria-00555749, version 1

Citation

Bastien Maubert, Sophie Pinchinat. Games with Opacity Condition. RP, Sep 2009, Paris, France. pp.166-175, 2009. 〈inria-00555749〉

Partager

Métriques

Consultations de la notice

180