Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits.

Kenneth L. McMillan

Browse the full CAV paper archive.