Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/inria-00424364
Contributor : Nathalie Bertrand <>
Submitted on : Thursday, October 15, 2009 - 11:51:36 AM
Last modification on : Thursday, January 7, 2021 - 2:30:02 PM

Links full text

openaccess

Identifiers

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. pp.19-33, ⟨10.1007/978-3-540-95891-8_3⟩. ⟨inria-00424364⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

117

 

Contact                    Legal Notice                    Personal Data