"Verifying Very Large Industrial Circuits Using 100 Processes and Beyond."

Limor Fix et al. (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics