Jerry R. Burch
J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang.
Symbolic model checking: 10^{20} states and beyond.
Information and Computation
, 98(2):142-170, June 1992.
Abstract, References, Citations, etc.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database