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

by K L McMillan
Venue:In CAV