L.J. Hwang

Stanford University

1

h-index

1

Publications

2,673

Citations

Publications

1 shown

Symbolic model checking: 1020 States and beyond

Jerry R. Burch , E. M. Clarke , Kenneth L. McMillan +2 more

1992 Information and Computation 2673 citations

Frequent Co-Authors

Jerry R. Burch

Carnegie Mellon University

E. M. Clarke

Carnegie Mellon University

Kenneth L. McMillan

Carnegie Mellon University

David L. Dill

Stanford University

Researcher Info

h-index: 1
Publications: 1
Citations: 2,673
Institution: Stanford University

External Links

Google Scholar

Impact Metrics

h-index 1

h-index: Number of publications with at least h citations each.

Academic Output Over Time