Synthesizing Finite State Machines for Minimum Length Synchronizing Sequence Using Partial Scan - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Ning Jiang, Richard M. Chou, Kewal K. Saluja. Synthesizing Finite State Machines for Minimum Length Synchronizing Sequence Using Partial Scan. In FTCS. pages 41-49, 1995.

@inproceedings{JiangCS95,
  title = {Synthesizing Finite State Machines for Minimum Length Synchronizing Sequence Using Partial Scan},
  author = {Ning Jiang and Richard M. Chou and Kewal K. Saluja},
  year = {1995},
  tags = {synchronization, state machines},
  researchr = {https://researchr.org/publication/JiangCS95},
  cites = {0},
  citedby = {0},
  pages = {41-49},
  booktitle = {FTCS},
}

runs on WebDSL