Skip to Main content Skip to Navigation
Conference papers

Probabilistic Acceptors for Languages over Infinite Words.

Christel Baier 1 Nathalie Bertrand 2 Marcus Grösser 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 Connect in order to contact the contributor
Submitted on : Thursday, October 15, 2009 - 11:51:36 AM
Last modification on : Friday, February 4, 2022 - 3:18:57 AM

Links full text

openaccess

Identifiers

Collections

INRIA | INRIA2

Citation

Christel Baier, Nathalie Bertrand, Marcus Grösser. 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 Datacite

Share

Metrics

Record views

23

 

Contact                    Legal Notice                    Personal Data