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]

Authors

Yaakov Benenson

This author has not been identified. Look up 'Yaakov Benenson' in Google

Neil Dalchau

This author has not been identified. Look up 'Neil Dalchau' in Google

Heinz Koeppl

This author has not been identified. Look up 'Heinz Koeppl' in Google

Oded Maler

This author has not been identified. Look up 'Oded Maler' in Google