Improving Correctness of Finite-State Machine Synthesis from Multiple Partial Input/Output Sequences

Prabhas Chongstitvatana, Chatchawit Aporntewan. Improving Correctness of Finite-State Machine Synthesis from Multiple Partial Input/Output Sequences. In 1st NASA / DoD Workshop on Evolvable Hardware (EH 99), July 19-21, 1999, Pasadena, CA, USA. pages 262, IEEE Computer Society, 1999. [doi]

@inproceedings{ChongstitvatanaA99,
  title = {Improving Correctness of Finite-State Machine Synthesis from Multiple Partial Input/Output Sequences},
  author = {Prabhas Chongstitvatana and Chatchawit Aporntewan},
  year = {1999},
  url = {http://csdl.computer.org/comp/proceedings/eh/1999/0256/00/02560262abs.htm},
  tags = {state machines},
  researchr = {https://researchr.org/publication/ChongstitvatanaA99},
  cites = {0},
  citedby = {0},
  pages = {262},
  booktitle = {1st NASA / DoD Workshop on Evolvable Hardware (EH  99), July 19-21, 1999, Pasadena, CA, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-0256-3},
}