Skip to Main content Skip to Navigation
Conference papers

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
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

istex

Identifiers

Collections

INRIA

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

113

 

Contact                    Legal Notice                    Personal Data