L. J. Hwang

Publication Activity (10 Years)

Years Active: 1990-1992
Publications (10 Years): 0

Publications

Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMillan, David L. Dill, L. J. Hwang
Symbolic Model Checking: 10^20 States and Beyond Inf. Comput. 98 (2) (1992)
Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMillan, David L. Dill, L. J. Hwang
Symbolic Model Checking: 10^20 States and Beyond LICS (1990)