Hierarchical verification of asynchronous circuits using temporal logic (1985)

by B Mishra, E M Clarke
Venue:Theoretical Computer Science