Woohyuk Lee

Publication Activity (10 Years)

Years Active: 1996-1996
Publications (10 Years): 0

Publications

Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi
Tearing based automatic abstraction for CTL model checking. ICCAD (1996)