submitted_bib

@comment{{This file has been generated by bib2bib 1.96}}
@comment{{Command line: bib2bib -c '$key="BarBliu18-express" or $key="QBMHDZ19-acta" or 1=2' ../pubs-sb.bib}}
@article{BarBliu18-express,
  author = {Eduard Baranov and Simon Bliudze},
  title = {Expressiveness of component-based frameworks: {A}
                  study of the expressiveness of {BIP}},
  journal = {Acta Informatica},
  year = 2019,
  note = {Under review}
}
@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.