par Bérard, Béatrice;Haddad, Serge;Sassolas, Mathieu ;Sznajder, Nathalie
Référence International Conference on Concurrency Theory(Newcastle (UK)), Proceedings of the 23rd International Conference on Concurrency Theory (CONCUR'12), Vol. 7454, Ed. Supported by the European Union Seventh Framework Programme [FP7/2007-2013] under grant agreement 257462 HYCON2 NOE, page (39-52)
Publication Publié, 2012-09
Publication dans des actes
Titre:
  • Concurrent Games on VASS with Inhibition
Auteur:Bérard, Béatrice; Haddad, Serge; Sassolas, Mathieu; Sznajder, Nathalie
Informations sur la publication:International Conference on Concurrency Theory(Newcastle (UK)), Proceedings of the 23rd International Conference on Concurrency Theory (CONCUR'12), Vol. 7454, Ed. Supported by the European Union Seventh Framework Programme [FP7/2007-2013] under grant agreement 257462 HYCON2 NOE, page (39-52)
Statut de publication:Publié, 2012-09
series:Lecture Notes in Computer Science
Sujet CREF:Informatique générale
Théorie de la décision et des jeux
Note générale:Supported by ERC Starting Grant n°279499 "inVEST"
Supported by project CoChaT
Supported by project ImpRo (ANR-2010-BLAN-0317)
Note edition:Supported by the European Union Seventh Framework Programme [FP7/2007-2013] under grant agreement 257462 HYCON2 NOE
Langue:Anglais