BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Greece
2 × USA
Collaborated with:
F.Somenzi C.Pixley
Talks about:
system (2) verif (2) iter (2) synchron (1) sequenti (1) sequenc (1) network (1) minimum (1) generat (1) automat (1)

Person: June-Kyung Rho

DBLP DBLP: Rho:June=Kyung

Contributed to:

CAV 19931993
DAC 19931993
DAC 19921992

Wrote 3 papers:

CAV-1993-RhoS #automation #generative #invariant #network #verification
Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems (JKR, FS), pp. 123–137.
DAC-1993-RhoSP #finite #sequence #state machine
Minimum Length Synchronizing Sequences of Finite State Machine (JKR, FS, CP), pp. 463–468.
DAC-1992-RhoS #induction #verification
Inductive Verification of Iterative Systems (JKR, FS), pp. 628–633.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.