@inproceedings{cardelli2017syntax,
  title={Syntax-Guided Optimal Synthesis for Chemical Reaction Networks},
  author={Cardelli, Luca and Ce{\v{s}}ka, Milan and Fr{\"{a}}nzle, Martin and Kwiatkowska, Marta and Laurenti, Luca and Paoletti, Nicola and Whitby, Max},
  booktitle={International Conference on Computer Aided Verification (CAV 2017)},
  pages={375--395},
  year={2017},
  organization={Springer},
  url = {https://link.springer.com/chapter/10.1007/978-3-319-63390-9_20},
  doi = {10.1007/978-3-319-63390-9_20}
}