@inproceedings{paoletti2014analyzing, title={Analyzing and Synthesizing Genomic Logic Functions}, author={Paoletti, Nicola and Yordanov, Boyan and Hamadi, Youssef and Wintersteiger, Christoph M and Kugler, Hillel}, booktitle={Computer Aided Verification (CAV 2014)}, pages={343--357}, year={2014}, organization={Springer}, url = {https://link.springer.com/chapter/10.1007/978-3-319-08867-9_23}, doi = {10.1007/978-3-319-08867-9_23} }