The Effect of Tossing Coins in Omega-Automata

Type de document :
Communication dans un congrès
20th International Conference Concurrency Theory (CONCUR 2009), Sep 2009, Bologne, Italy. 5710, pp.15-29, 2009, LNCS. 〈10.1007/978-3-642-04081-8_2〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00424367
Contributeur : Nathalie Bertrand <>
Soumis le : jeudi 15 octobre 2009 - 11:56:46
Dernière modification le : mercredi 29 novembre 2017 - 16:21:16

Identifiants

Collections

Citation

Christel Baier, Nathalie Bertrand, Marcus Größer. The Effect of Tossing Coins in Omega-Automata. 20th International Conference Concurrency Theory (CONCUR 2009), Sep 2009, Bologne, Italy. 5710, pp.15-29, 2009, LNCS. 〈10.1007/978-3-642-04081-8_2〉. 〈inria-00424367〉

Partager

Métriques

Consultations de la notice

76