@INPROCEEDINGS{DaxEisingerEtAl.2007.ATVA,
  author = {Christian Dax and Jochen Eisinger and Felix Klaedtke},
  title = {Mechanizing the Powerset Construction for Restricted Classes of {$\omega$}-Automata},
	booktitle	= {Proc. of the 5th International Symposium on
		Automated Technology for Verification and Analysis (ATVA'07)},
  year = {2007},
  series = {Lecture Notes in Computer Science},
  pages = {223--236},
  publisher = {Springer-Verlag},
	address		= {Berlin, Heidelberg, New York},
}