@Inproceedings{EPTCS3.1,
  author    = {Baier, Christel and Bertrand, Nathalie and Gr\"o{\ss}er, Marcus},
  year      = {2009},
  title     = {Probabilistic Automata over Infinite Words:   Expressiveness, Efficiency, and Decidability},
  editor    = {Dassow, J\"urgen and Pighizzini, Giovanni and Truthe, Bianca},
  booktitle = {{\rm Proceedings Eleventh International Workshop on}
               Descriptional Complexity of Formal Systems,
               {\rm Magdeburg, Germany, July 6-9, 2009}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {3},
  publisher = {Open Publishing Association},
  pages     = {3-16},
  doi       = {10.4204/EPTCS.3.1},
}