@Article{benenson_et_al:DagRep.8.2.88,
author = {Benenson, Yaakov and Dalchau, Neil and Koeppl, Heinz and Maler, Oded},
title = {{Formal Methods for the Synthesis of Biomolecular Circuits (Dagstuhl Seminar 18082)}},
pages = {88--100},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {8},
number = {2},
editor = {Benenson, Yaakov and Dalchau, Neil and Koeppl, Heinz and Maler, Oded},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.2.88},
URN = {urn:nbn:de:0030-drops-92912},
doi = {10.4230/DagRep.8.2.88},
annote = {Keywords: Synthetic biology, Electronic design automation, Program synthesis and verification}
}