From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata (bibtex)
@string{ieeepress="© IEEE press"}
@string{wanwei="see a tighter analysis</a> by <a href=http://dx.doi.org/10.1016/j.ipl.2009.04.022>Wanwei Liu</a> and by <a href=http://dx.doi.org/10.1007/978-3-642-00596-1_13>Sven Schewe</a>"}
@InProceedings{Pit06,
  author = 	 {N. Piterman},
  title = 	 {From Nondeterministic {B}uchi and {S}treett Automata to Deterministic Parity Automata},
  booktitle = {21st Symposium on Logic in Computer Science},
  pages = 	 {255-264},
  year = 	 {2006},
  publisher = ieeepress,
  pdf = {2006/Pit06.pdf},
  url = {2006/Pit06.html},
  note = wanwei,
  keywords = {Automata},
}
Powered by bibtexbrowser