Deconstructing Subset Construction - Reducing While Determinizing.

John Nicol, Markus Frohme

Browse the full TACAS paper archive.