Faster Solutions of Rabin and Streett Games

Piterman, N.; Pnueli, A.

Faster Solutions of Rabin and Streett Games (bibtex)

@string{ieeepress="© IEEE press"}
@InProceedings{PP06,
  author = 	 {N. Piterman and A. Pnueli},
  title = 	 {Faster Solutions of Rabin and Streett Games},
  booktitle = {21st Symposium on Logic in Computer Science},
  pages = 	 {275-284},
  year = 	 {2006},
  publisher = ieeepress,
  pdf = {2006/PP06.pdf},
  url = {2006/PP06.html},
  keywords = {Games},
}