June-Kyung Rho
According to our database1,
June-Kyung Rho
authored at least 7 papers
between 1991 and 1994.
Collaborative distances:
Collaborative distances:
Timeline
1991
1992
1993
1994
0
1
2
3
2
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1994
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1994
Exact and heuristic algorithms for the minimization of incompletely specified state machines.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1994
1993
Proceedings of the 30th Design Automation Conference. Dallas, 1993
Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems.
Proceedings of the Computer Aided Verification, 5th International Conference, 1993
1992
Proceedings of the Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1992
Proceedings of the 29th Design Automation Conference, 1992
1991
Proceedings of the 1991 IEEE/ACM International Conference on Computer-Aided Design, 1991