Journal Articles
Journal of the ACM (JACM)
Year : 2012
Nathalie Bertrand : Connect in order to contact the contributor
https://inria.hal.science/hal-00743907
Submitted on : Sunday, October 21, 2012-10:14:49 PM
Last modification on : Wednesday, November 1, 2023-3:44:08 AM
Cite
Christel Baier, Nathalie Bertrand, Marcus Groesser. Probabilistic omega-automata. Journal of the ACM (JACM), 2012, 59 (1), pp.1:1-1:52. ⟨10.1145/2108242.2108243⟩. ⟨hal-00743907⟩
38
View
0
Download