Woohyuk Lee

According to our database, Woohyuk Lee authored at least 1 paper in 1996.

Collaborative distances:

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

1996

Tearing based automatic abstraction for CTL model checking.

Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi

Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, 1996