Checking for Language Inclusion Using Simulation Preorders.

David L. Dill, Alan J. Hu, Howard Wong-Toi

Browse the full CAV paper archive.