Automatic verification of sequential circuits using temporal logic (1986)

by M Browne, E Clarke, D Dill
Venue:in Proc. 5th Annu. Symp