Skip to Main content Skip to Navigation
Journal articles

Probabilistic omega-automata

Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-00743907
Contributor : Nathalie Bertrand Connect in order to contact the contributor
Submitted on : Sunday, October 21, 2012 - 10:14:49 PM
Last modification on : Friday, February 4, 2022 - 3:17:24 AM

Identifiers

Collections

Citation

Christel Baier, Nathalie Bertrand, Marcus Groesser. Probabilistic omega-automata. Journal of the ACM (JACM), Association for Computing Machinery, 2012, 59 (1), pp.1:1-1:52. ⟨10.1145/2108242.2108243⟩. ⟨hal-00743907⟩

Share

Metrics

Record views

38