From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata. Piterman, N. CoRR, 2007.
From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata [link]Link  From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata [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