Early Quantification and Partitioned Transition Relations.

Ramin Hojati Sriram C. Krishnan Robert K. Brayton Early Quantification and Partitioned Transition Relations. 12-19 1996 conf/iccd/1996 ICCD http://computer.org/proceedings/iccd/7554/75540012abs.htm db/conf/iccd/iccd1996.html#HojatiKB96