A unified framework for the formal verification of circuits (1990)

by O Coudert, J Madre
Venue:In Proc. Int. Conf. Computer-Aided Design (ICCAD