From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata. Piterman, N. CoRR, 2007.
Link
Paper bibtex @article{journals/corr/abs-0705-2205,
added-at = {2018-08-13T00:00:00.000+0200},
author = {Piterman, Nir},
biburl = {https://www.bibsonomy.org/bibtex/215de70b8be53bfb8cc4f7d89ee7c8c2f/dblp},
ee = {http://arxiv.org/abs/0705.2205},
interhash = {3655840d252d3db945346f437699686e},
intrahash = {15de70b8be53bfb8cc4f7d89ee7c8c2f},
journal = {CoRR},
keywords = {dblp},
timestamp = {2018-08-14T14:20:21.000+0200},
title = {From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata},
url = {http://dblp.uni-trier.de/db/journals/corr/corr0705.html#abs-0705-2205},
volume = {abs/0705.2205},
year = 2007
}
Downloads: 0
{"_id":"q3cSm23E2wZz6izwg","bibbaseid":"piterman-fromnondeterministicbchiandstreettautomatatodeterministicparityautomata-2007","authorIDs":[],"author_short":["Piterman, N."],"bibdata":{"bibtype":"article","type":"article","added-at":"2018-08-13T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Piterman"],"firstnames":["Nir"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/215de70b8be53bfb8cc4f7d89ee7c8c2f/dblp","ee":"http://arxiv.org/abs/0705.2205","interhash":"3655840d252d3db945346f437699686e","intrahash":"15de70b8be53bfb8cc4f7d89ee7c8c2f","journal":"CoRR","keywords":"dblp","timestamp":"2018-08-14T14:20:21.000+0200","title":"From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata","url":"http://dblp.uni-trier.de/db/journals/corr/corr0705.html#abs-0705-2205","volume":"abs/0705.2205","year":"2007","bibtex":"@article{journals/corr/abs-0705-2205,\n added-at = {2018-08-13T00:00:00.000+0200},\n author = {Piterman, Nir},\n biburl = {https://www.bibsonomy.org/bibtex/215de70b8be53bfb8cc4f7d89ee7c8c2f/dblp},\n ee = {http://arxiv.org/abs/0705.2205},\n interhash = {3655840d252d3db945346f437699686e},\n intrahash = {15de70b8be53bfb8cc4f7d89ee7c8c2f},\n journal = {CoRR},\n keywords = {dblp},\n timestamp = {2018-08-14T14:20:21.000+0200},\n title = {From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr0705.html#abs-0705-2205},\n volume = {abs/0705.2205},\n year = 2007\n}\n\n","author_short":["Piterman, N."],"key":"journals/corr/abs-0705-2205","id":"journals/corr/abs-0705-2205","bibbaseid":"piterman-fromnondeterministicbchiandstreettautomatatodeterministicparityautomata-2007","role":"author","urls":{"Link":"http://arxiv.org/abs/0705.2205","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr0705.html#abs-0705-2205"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/nir piterman?items=1000","creationDate":"2020-05-20T12:56:32.377Z","downloads":0,"keywords":["dblp"],"search_terms":["nondeterministic","chi","streett","automata","deterministic","parity","automata","piterman"],"title":"From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata","year":2007,"dataSources":["rQGF6JAEZAPDgRfrS"]}