L. J. Hwang

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

Collaborative distances:

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

1990

Symbolic Model Checking: 10^20 States and Beyond

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

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990