Mechanizing the Powerset Construction for Restricted Classes of

Christian Dax, Jochen Eisinger, Felix Klaedtke

Browse the full ATVA paper archive.