Communication Dans Un Congrès
Année : 2009
Nathalie Bertrand : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00424367
Soumis le : jeudi 15 octobre 2009-11:56:46
Dernière modification le : jeudi 1 février 2024-10:03:46
Dates et versions
Identifiants
- HAL Id : inria-00424367 , version 1
- DOI : 10.1007/978-3-642-04081-8_2
Citer
Christel Baier, Nathalie Bertrand, Marcus Grösser. The Effect of Tossing Coins in Omega-Automata. 20th International Conference Concurrency Theory (CONCUR 2009), Sep 2009, Bologne, Italy. pp.15-29, ⟨10.1007/978-3-642-04081-8_2⟩. ⟨inria-00424367⟩
31
Consultations
0
Téléchargements