Statistics
Publications
3
Citations
3K
H-Index
3
Active since
1992
Affiliations
L.J. Hwang is an author at Stanford University specializing in computing, computer science, and finite state machine modeling.
Publications per year
1992–2002
3
3
Symbolic model checking: 1020 States and beyond
Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · Information and Computation · 1992 · 2.7K citations
Symbolic model checking: 10/sup 20/ states and beyond
Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · 2002 · 304 citations
1–3 of 3