@InProceedings{Dax_Eisinger_Klaedtke:powerset,
  author =       {Christian Dax and Jochen Eisinger and Felix Klaedtke},
  title =        {Mechanizing the Powerset Construction for Restricted Classes
                  of $\omega$-Automata},
  booktitle =    {Proceedings of the 5th International Symposium on Automated
                  Technology for Verification and Analysis (ATVA'07)},
  pages =        {223--236},
  year =         {2007},
  volume =       {4762},
  series =       {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag},
}