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 <>
Submitted on : Thursday, October 15, 2009 - 11:56:46 AM
Last modification on : Thursday, January 7, 2021 - 2:30:02 PM

Links full text

Identifiers

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. pp.15-29, ⟨10.1007/978-3-642-04081-8_2⟩. ⟨inria-00424367⟩

Share

Metrics

Record views

113