( en | de | ru )

 

Disambiguation of "Rho, June-Kyung"

Author of the publication

copydeleteadd this publication to your clipboard
Minimum Length Synchronizing Sequences of Finite State Machine.

, , and . DAC, page 463-468. ACM Press, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jinchul Rho

Choy Kyungcheol

Suk-Hun Kyung

June Park

Sangig Rho

 

Other publications of authors with the same name

Minimum Length Synchronizing Sequences of Finite State Machine., , and . DAC, page 463-468. ACM Press, (1993)Exact and heuristic algorithms for the minimization of incompletely specified state machines., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 13 (2): 167-177 (1994)The Role of Prime Compatibles in the Minimization of Finite State Machines., and . ICCD, page 324-327. IEEE Computer Society, (1992)Exact and heuristic algorithms for the minimization of incompletely specified state machines., , , and . EURO-DAC, page 184-191. EEE Computer Society, (1991)Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems., and . CAV, volume 697 of Lecture Notes in Computer Science, page 123-137. Springer, (1993)Don't care sequences and the optimization of interacting finite state machines., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 13 (7): 865-874 (1994)Inductive Verification of Iterative Systems., and . DAC, page 628-633. IEEE Computer Society Press, (1992)Don't Care Sequences and the Optimization of Interacting Finite State Machines., , and . ICCAD, page 418-421. IEEE Computer Society, (1991)