A Unified Framework for the Formal Verification (1990)

by O Coudert, J C Madre
Venue:of Sequential Circuits”, in Proc. ICCAD