Communication Dans Un Congrès
Année : 2013
Nathalie Bertrand : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00906831
Soumis le : mercredi 20 novembre 2013-13:39:46
Dernière modification le : vendredi 24 mars 2023-14:52:57
Dates et versions
Identifiants
- HAL Id : hal-00906831 , version 1
- ARXIV : 1207.4577
- DOI : 10.4204/EPTCS.117.8
Citer
Nathalie Bertrand, Philippe Schnoebelen. Solving Stochastic Büchi Games on Infinite Decisive Arenas. QAPL - 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, Mar 2013, Rome, Italy. pp.116-131, ⟨10.4204/EPTCS.117.8⟩. ⟨hal-00906831⟩
Collections
297
Consultations
0
Téléchargements