A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Alberto L. Sangiovanni-Vincentelli, Patrick C. McGeer, Alexander Saldanha. "Verification of electronic systems." Proceedings of the 33rd annual conference on Design automation conference - DAC '96 (1996) 106-111