Reducing Model Checking of the Few to the One.

E. Allen Emerson, Richard J. Trefler, Thomas Wahl

Browse the full ICFEM paper archive.