Probabilistic omega-automata - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of the ACM (JACM) Year : 2012
No file

Dates and versions

hal-00743907 , version 1 (21-10-2012)

Identifiers

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⟩

Collections

INRIA INRIA2
38 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More