"Formal Verification of Genetic Circuits."

Chris J. Myers (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics