Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits (1992)

by K L McMillan
Venue:In: Proc. of CAV’92. LNCS