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

istex

Identifiers

Collections

INRIA | INRIA2

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

29

 

Contact                    Legal Notice                    Personal Data