@inproceedings{CCF+17,
  
author = {Luca Cardelli and Milan Ceska and Martin Fraenzle and Marta Kwiatkowska and
Luca Laurenti and Nicola Paoletti and Max Whitby},
  
title = {Syntax-Guided Optimal Synthesis for Chemical
Reaction Networks},
  
booktitle = {Proceedings, {CAV} 2017},
  
editors = {Viktor Kuncak and Rupak Majumdar},
  
note = {To appear},
 year = {2017},
  
publisher = {Springer},
 

}