submitted_bib

@comment{{This file has been generated by bib2bib 1.96}}
@comment{{Command line: bib2bib -c '$key="QBMHDZ19-acta" or 1=2' ../pubs-sb.bib}}
@article{QBMHDZ19-acta,
  author = {Xudong Qin and Simon Bliudze and Eric Madelaine and
                  Zechen Hou and Yuxin Deng and Min Zhang},
  title = {{SMT}-Based Generation of Symbolic Automata},
  journal = {Acta Informatica},
  year = 2019,
  note = {Under review}
}

This file was generated by bibtex2html 1.96.