@InProceedings{ dax.ea:mechanizing:2007, author = {Christian Dax and Jochen Eisinger and Felix Klaedtke}, booktitle = {Proc. of the 5th International Symposion on Automated Technology for Verification and Analysis (ATVA'07)}, language = {USenglish}, pages = {223--236}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, title = {Mechanizing the Powerset Construction for Restricted Classes of omega-Automata}, volume = 4762, year = 2007, user = {felixkl} }