Tarvo Raudvere, Ashish Kumar Singh, Ingo Sander, Axel Jantsch. Polynomial Abstraction for Verification of Sequentially Implemented Combinational Circuits. In 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France. pages 690-691, IEEE Computer Society, 2004. [doi]
Abstract is missing.