Game Quantification Patterns

Dietmar Berwanger 1 Sophie Pinchinat 2
2 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
ICLA, Jan 2009, Chennai, India. pp.116-130, 2009
Liste complète des métadonnées

https://hal.inria.fr/inria-00555746
Contributeur : Sophie Pinchinat <>
Soumis le : vendredi 14 janvier 2011 - 13:02:52
Dernière modification le : mercredi 11 avril 2018 - 01:55:54

Identifiants

  • HAL Id : inria-00555746, version 1

Citation

Dietmar Berwanger, Sophie Pinchinat. Game Quantification Patterns. ICLA, Jan 2009, Chennai, India. pp.116-130, 2009. 〈inria-00555746〉

Partager

Métriques

Consultations de la notice

174