BibTeX record journals/corr/abs-1902-07417

• > Home > journals/corr/abs-1902-07417

@inproceedings{DBLP:journals/corr/abs-1902-07417,
  author       = {Kaizaburo Chubachi and
                  Diptarama Hendrian and
                  Ryo Yoshinaka and
                  Ayumi Shinohara},
  editor       = {J{\'{e}}r{\^{o}}me Leroux and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Query Learning Algorithm for Residual Symbolic Finite Automata},
  booktitle    = {Proceedings Tenth International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September
                  2019},
  series       = {{EPTCS}},
  volume       = {305},
  pages        = {140--153},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.305.10},
  doi          = {10.4204/EPTCS.305.10},
  timestamp    = {Sat, 30 Sep 2023 10:08:11 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1902-07417.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}