Anmol Mathur, Masahiro Fujita, M. Balakrishnan, Raj S. Mitra. Sequential Equivalence Checking. In 19th International Conference on VLSI Design (VLSI Design 2006), 3-7 January 2006, Hyderabad, India. pages 18-19, IEEE Computer Society, 2006. [doi]
Abstract is missing.