Journal of the ACM (JACM), Association for Computing Machinery, 2012, 59 (1), pp.1:1-1:52. 〈10.1145/2108242.2108243〉
Liste complète des métadonnées
https://hal.inria.fr/hal-00743907
Contributeur : Nathalie Bertrand
<>
Soumis le : dimanche 21 octobre 2012 - 22:14:49
Dernière modification le : mercredi 11 avril 2018 - 01:54:24
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〉
