Yaakov Benenson, Neil Dalchau, Heinz Koeppl, Oded Maler. Formal Methods for the Synthesis of Biomolecular Circuits (Dagstuhl Seminar 18082). Dagstuhl Reports, 8(2):88-100, 2018. [doi]
@article{BenensonDKM18,
title = {Formal Methods for the Synthesis of Biomolecular Circuits (Dagstuhl Seminar 18082)},
author = {Yaakov Benenson and Neil Dalchau and Heinz Koeppl and Oded Maler},
year = {2018},
doi = {10.4230/DagRep.8.2.88},
url = {https://doi.org/10.4230/DagRep.8.2.88},
researchr = {https://researchr.org/publication/BenensonDKM18},
cites = {0},
citedby = {0},
journal = {Dagstuhl Reports},
volume = {8},
number = {2},
pages = {88-100},
}