The Effect of Tossing Coins in Omega-Automata

Christel Baier 1 Nathalie Bertrand 2 Marcus Größer 1
1 Department of Computer Science [Dresden]
2 VERTECS - Verification models and techniques applied to testing and control of reactive systems
Inria Rennes – Bretagne Atlantique
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 11 avril 2018 - 01:52:17

Identifiants

Collections

INRIA | INRIA-RENGRE

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

78

Contact


archive-ouverte@inria.fr