@InProceedings{JKH02:CSL,
  author = 	 {Marcin Jurdzi{\'{n}}ski and Orna Kupferman 
                  and Thomas A. Henzinger},
  title = 	 {Trading Probability for Fairness},
  booktitle = 	 {Computer Science Logic, 16th International Workshop, 
                  CSL 2002, 11th Annual Conference of the EACSL, Proceedings},
  pages = 	 {292--305},
  year = 	 {2002},
  editor = 	 {Julian C. Bradfield},
  volume = 	 {2471},
  series = 	 {Lecture Notes in Computer Science},
  address = 	 {Edinburgh, Scotland, UK},
  month = 	 {September},
  publisher =    {Springer-Verlag}
}