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.
J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, L.J. Hwang. "Symbolic model checking: 1020 States and beyond." Information and Computation 98.2 (1992) 142-170