Probabilistic Acceptors for Languages over Infinite Words.

Christel Baier 1 Nathalie Bertrand 2 Marcus Größer 1
1 Department of Computer Science [Dresden]
2 VERTECS - Verification models and techniques applied to testing and control of reactive systems
Inria Rennes – Bretagne Atlantique
Type de document :
Communication dans un congrès
35th Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'09), Jan 2009, Spindleruv Mlyn, Czech Republic. 5404, pp.19-33, 2009, LNCS. 〈10.1007/978-3-540-95891-8_3〉
Liste complète des métadonnées
https://hal.inria.fr/inria-00424364
Contributeur : Nathalie Bertrand <>
Soumis le : jeudi 15 octobre 2009 - 11:51:36
Dernière modification le : mercredi 11 avril 2018 - 01:52:48

Lien texte intégral

openaccess

Identifiants

Collections

INRIA

Citation

Christel Baier, Nathalie Bertrand, Marcus Größer. Probabilistic Acceptors for Languages over Infinite Words.. 35th Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'09), Jan 2009, Spindleruv Mlyn, Czech Republic. 5404, pp.19-33, 2009, LNCS. 〈10.1007/978-3-540-95891-8_3〉. 〈inria-00424364〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

77

Contact


archive-ouverte@inria.fr