Breitling, Rainer and Bruggeman, Frank J. and Priami, Corrado and Uhrmacher, Adelinde M. (2011) Formal Methods in Molecular Biology (Dagstuhl Seminar 11151). Schloss Dagstuhl--Leibniz-Zentrum für Informatik.