@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 = {© ieee press},
  url_Paper = {2006/PP06.pdf},
  keywords = {Games},
}

{"_id":"rmnWPYmQ2eo8MByFE","bibbaseid":"piterman-pnueli-fastersolutionsofrabinandstreettgames-2006","authorIDs":["2PC6w3z2uZxPiE7iL","8thReCRmKkgSA7o93","BFjWrsKhtJwcChPA5","DaYiAfQymmupoWdws","QbTA6fjNucC4FkzQY","RNZenG6M7dmLAB8sS","cpxQ4vpGKDSrXSiBD","guLfsi5DzhAtdupEd","nT2YWxpsrENZQnneX","xS5K7WpvHmKW27SLd"],"author_short":["Piterman, N.","Pnueli, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["N."],"propositions":[],"lastnames":["Piterman"],"suffixes":[]},{"firstnames":["A."],"propositions":[],"lastnames":["Pnueli"],"suffixes":[]}],"title":"Faster Solutions of Rabin and Streett Games","booktitle":"21st Symposium on Logic in Computer Science","pages":"275-284","year":"2006","publisher":"© ieee press","url_paper":"2006/PP06.pdf","keywords":"Games","bibtex":"@InProceedings{PP06,\n author = \t {N. Piterman and A. Pnueli},\n title = \t {Faster Solutions of Rabin and Streett Games},\n booktitle = {21st Symposium on Logic in Computer Science},\n pages = \t {275-284},\n year = \t {2006},\n publisher = {© ieee press},\n url_Paper = {2006/PP06.pdf},\n keywords = {Games},\n}\n\n","author_short":["Piterman, N.","Pnueli, A."],"key":"PP06","id":"PP06","bibbaseid":"piterman-pnueli-fastersolutionsofrabinandstreettgames-2006","role":"author","urls":{" paper":"http://www.cse.chalmers.se/~piterman/publications/2006/PP06.pdf"},"keyword":["Games"],"metadata":{"authorlinks":{"piterman, n":"https://www.cse.chalmers.se/"}}},"bibtype":"inproceedings","biburl":"http://www.cse.chalmers.se/~piterman/publications/publications.bib","creationDate":"2020-05-20T12:56:32.430Z","downloads":6,"keywords":["games"],"search_terms":["faster","solutions","rabin","streett","games","piterman","pnueli"],"title":"Faster Solutions of Rabin and Streett Games","year":2006,"dataSources":["dBCbAowrXBj8Z9xpg"]}