A Unified Framework for the Formal Verification (1990)

by O Coudert, J C Madre
Venue:of Sequential Circuits, Int. Conference on Computer-Aided Design