Probabilistic omega-automata

Type de document :
Article dans une revue
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

Lien texte intégral

Identifiants

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〉

Partager

Métriques

Consultations de la notice

123