Verifying Very Large Industrial Circuits Using 100 Processes and Beyond.

Limor Fix Orna Grumberg Amnon Heyman Tamir Heyman Assaf Schuster Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. 45-62 2007 18 Int. J. Found. Comput. Sci. 1 http://dx.doi.org/10.1142/S0129054107004565 db/journals/ijfcs/ijfcs18.html#FixGHHS07