Skip to Main content Skip to Navigation
Conference papers

The Effect of Tossing Coins in Omega-Automata

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00424367
Contributor : Nathalie Bertrand Connect in order to contact the contributor
Submitted on : Thursday, October 15, 2009 - 11:56:46 AM
Last modification on : Friday, February 4, 2022 - 3:15:13 AM

Links full text

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

29