L. J. Hwang

According to our database, L. J. Hwang authored at least 1 paper in 1992.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1992

Symbolic Model Checking: 10^20 States and Beyond

Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMillan, David L. Dill, L. J. Hwang

Inf. Comput., June, 1992