@inproceedings{DBLP:conf/atva/DaxEK07,
    Author = {Dax, Christian and Eisinger, Jochen and Klaedtke, Felix},
    BookTitle = {Automated Technology for Verification and Analysis, 5th International Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
    File = {Mechanizing the Powerset Construction for Restricted Classes of omega -Automata - Dax, Eisinger, Klaedtke (1) (0) - a - a - g.pdf},
    Pages = {223--236},
    Title = {Mechanizing the Powerset Construction for Restricted Classes of \emph{omega} -Automata},
    URL = {http://dx.doi.org/10.1007/978-3-540-75596-8\_17},
    Year = {2007},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-75596-8\_17},
    bibsource = {dblp computer science bibliography, http://dblp.org},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/atva/DaxEK07},
    date-added = {2016-11-11 21:05:02 +0000},
    date-modified = {2016-11-11 21:05:02 +0000},
    file-2 = {Mechanizing the Powerset Construction for Restricted Classes of omega -Automata - Dax, Eisinger, Klaedtke (0) (0) - a - a - g.pdf},
    timestamp = {Wed, 07 Nov 2007 09:02:09 +0100},
    doi = {10.1007/978-3-540-75596-8_17}
}

@inproceedings{DBLP:conf/atva/DaxEK07, Author = {Dax, Christian and Eisinger, Jochen and Klaedtke, Felix}, BookTitle = {Automated Technology for Verification and Analysis, 5th International Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings}, File = {Mechanizing the Powerset Construction for Restricted Classes of omega -Automata - Dax, Eisinger, Klaedtke (1) (0) - a - a - g.pdf}, Pages = {223--236}, Title = {Mechanizing the Powerset Construction for Restricted Classes of \emph{omega} -Automata}, URL = {http://dx.doi.org/10.1007/978-3-540-75596-8_17}, Year = {2007}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-75596-8_17}, bibsource = {dblp computer science bibliography, http://dblp.org}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/atva/DaxEK07}, date-added = {2016-11-11 21:05:02 +0000}, date-modified = {2016-11-11 21:05:02 +0000}, file-2 = {Mechanizing the Powerset Construction for Restricted Classes of omega -Automata - Dax, Eisinger, Klaedtke (0) (0) - a - a - g.pdf}, timestamp = {Wed, 07 Nov 2007 09:02:09 +0100}, doi = {10.1007/978-3-540-75596-8_17} }