Article Dans Une Revue
Journal of the ACM (JACM)
Année : 2012
Nathalie Bertrand : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00743907
Soumis le : dimanche 21 octobre 2012-22:14:49
Dernière modification le : mercredi 1 novembre 2023-03:44:08
Citer
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
Consultations
0
Téléchargements