S. Suri, R. Wattenhofer, and P. Widmayer. Geometry in Sensor Networks, volume 07151 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)
R. Breitling, D. Gilbert, M. Heiner, and C. Priami. Formal Methods in Molecular Biology, volume 09091 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)
R. Breitling, D. Gilbert, M. Heiner, and C. Priami. Formal Methods in Molecular Biology, volume 09091 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)