Formal Methods for the Synthesis of Biomolecular Circuits (Dagstuhl Seminar 18082)

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.